All Posts

New release of both IDE and cli tool. Now with verification support on both.

New release, now with formal verification and improved JS internals

How Provengo and the Behavioral Programming at its core compare with today's modeling, verification and testing tools, measured in peer-reviewed studies Provengo is a tool suite for modeling, verifying, executing, and testing system behavior. At its core is Behavioral Programming (BP), a way of writing system requirements as small, independent scenarios that can be run, formally verified and used to generate tests. Provengo is not built on a new idea. It is built on a long li

The talks from TMMi America's #TestFormation2026 are public! We sent our own Michael Bar-Sinai to explain why model-based testing can provide the required assurances that AI-driven development needs. Oh, and then it was uploaded to YouTube.

Good news everyone - the long awaited feature of contextual menu on the Provengo project logical tree is now alive with version 1.4.0 of our IDE plugin. Along with it we've re-written the file handling bus-system to be smoother and faster, and improved some icons as well. It's all about getting the context (-ual menu) Get it here: VSCode Marketplace Open VSX Registry ...and of course in the extension manager of your code editor of choice. Happy modeling!

Theme icons and improved visuals FTW We've updated our IDE. What's new: Reduced overhead when not working with Provengo projects Better visuals, including themed icons Welcome and Resources views are always available Under-the-hood improvements, mainly around modernized filesystem usage, stability, and performance. This IDE is available on VS Code Marketplace and Open-VSX . Happy modeling! -- Provengo's Engineering Team

Our plugins are now available at Open-VSX, so you can use them with Cursor , Antigravity , Windsurf , and other editors that support .vsx extensions. Get'em here: https://open-vsx.org/namespace/Provengo

We start 2026 off with a series of updates, improvements, and generally makeing-our-tool-better activities. Because, you know, work tools should be something you can count on (hot take, we know). ・ Improvements to the ScenarioUtils library. ・ Better documentation, especially for: ・ report subcommand ・ Combi Library ・ ScenarioUtils library ・ Improved dark mode ・ Improved logging ・ gen-book: ・ Scenario names are now based on scenario content by default ・ Improved layout an

Catch up on the InnovateQA meetup where our CTO presented Model-Based Testing, and how it can help ensure quality even when development is accelerated by inaccurate GenAI tools.

Release notes 2025-11-06 The leaves change their colors Cups of coffee chains too We have a new release out It's just that kind of thing we do (No photoshoping was used for the above picture - these are trees next to our US office) In this release: Our new reports got a warm welcome (we get it, they are very good indeed ). This version adds resilience for certain errors (thanks, Miriam!), dark mode, and improved graphic design. Our Constrains library is now formally verified

Release notes for Oct 2025: Lots of new features, better robustness for your tests and for the app.

Quality assurance (QA) serves as the backbone of a successful software development process. As technology rapidly advances, effective QA...

When your product is a testing tool, you'd better be sure it really works. At Provengo, we don’t just build software that makes testing smarter, we use it ourselves, every day, to test Provengo itself. It’s not just dogfooding. It’s how we ensure quality, reliability, and fast iteration across every release.

Being the cutting-edge tech company that we are, we now have a Mastodon account! If you're a part of the Fediverse, give us a follow!...

We are very very (very!) happy to announce that our MacOS Homeberw installer is out! Installing the provengo tool on MacOS now is as...

Check out our own Michael Bar-Sinai , talking to JL Heather and Preston Chandler over at the Breakthrough Innovation podcast about...

Big release today, with upgrades to the browser automation functionality, bp-base, state machines, and more. All in all the Provengo...

A small but fun update to the Provengo Studio is out! More efficient, better icons, and some under-the-hood updates. Expect more soon, as...

ChatGPT shines when you need quick code generation. With the right prompt, it can instantly write unit tests that validate small, isolated functions. For example:

The biggest thing about our latest version is its revamped internal core - we've upgraded our JavaScript internals, as well as most of...