@ProvengoTech

Helping humans and AIs create well behaved software systems.

 Israel/US
provengo.tech
Joined October 2020
  • Tweets186
  • Following173
  • Followers33
42Media
Formal methods are getting a lot of attention f̶i̶n̶a̶l̶l̶y̶ ̶ lately, with @_doubleAI_ , @bcherny, and @nvidia all publishing work and results in this area. We've been claiming for a while that the #FMWinterIsOver 🤓. Here's how our tech is different: bit.ly/4ihiYPV

Provengo by the Numbers

How Provengo and the Behavioral Programming at its core compare with today's modeling, verification and testing tools, measured in peer-reviewed studiesProvengo is a tool suite for modeling, verify...

provengo.ai
1
1
270
The talks from @tmmiamerica's #TestFormation2026 are public! Come see how to do QA at the Speed of AI Need, using our tool suite! 🎥 #ModelBased #QAAutomation #FormalMethods #FMWinterIsOver youtube.com/watch?v=tPzukhG8…
1
1
24
New version of our IDE! Now with context menus and revamped file system engine. provengo.ai/post/more-ide-up… #DevTools #Modeling #FormalMethods #FMWinterIsOver

More IDE Updates

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...

provengo.ai
1
1
58
Had a great time at #testformation2026, @tmmiamerica's webinar, talking about how #GenAI alone is not enough to navigate the many perils of a release map. One needs better guardrails, such as a #ModelBasedTesting tool. You know, like the one we make at Provengo.
10
Provengo Technologies retweeted
Michael Bar-Sinai@michbarsinaiFeb 23
Replying to @karpathy
Having spent the last few years in formal methods and programming languages, I wholeheartedly agree. And it's not just the programming languages - the change can to programming paradigms as well. At @ProvengoTech we use a novel executable FM to spec, verify, test, and automate.
1
1
17
Great news everyone! Our plugins are now available at Open-VSX, so you can use them with @cursor_ai , @antigravity, @windsurf, and other editors that support .vsx extensions! Get'em here: open-vsx.org/namespace/Prove… #IDE #ModelBased #Automation #QA #FMWinterIsOver
37
We agree with @lennypruss (of @AmplifyPartners) - LLMs should also use formal methods to when programming (devinterrupted.substack.com/…). But why stop with TLA+? >>
1
1
1
216
Our executable specification platform is DEV, GenAI, and SME friendly. And it allows formal specifications that are both verifiable and executable. #FMWinterIsOver
16
New release! It's also a better one, not just new. We improved some features and squashed some bugs. And improved documentation based on used feedback. Good stuff, even if we say so ourselves. provengo.ai/post/new-year-ne… #FormalMethods #QAAutomation #DevTools

New Year, New Release

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).・...

provengo.ai
16
Watch our CTO at a recent Innovate QA's meetup, discussing #ModelBasedTesting an advanced #QA methodology for our #AI future (a future that will also be full of #HashTags, we're told. Um, #told). youtube.com/watch?v=6k5C6JSF… #FormalMethods #Testing #Automation #FMWinterIsOver
1
50
Join a free webinar with our own @michbarsinai. We'll cover #ModelBasedTesting, a powerful approach to #QA that improves the day-to-day lives of QA teams, making them more agile, and deliver value faster and earlier. meetup.com/innovate-qa-seatt… #FMWinterIsOver #FormalMethods

Virtual: Model-Based Testing: The QA Power Tool You Might Want to Know, Thu, Nov 20, 2025, 12:00 PM...

Summary: Model-Based Testing (MBT) is a powerful QA methodology that allows QA to focus on required system behavior rather than specific scenario maintenance. QA teams comp

meetup.com
1
1
153
Our November Release is now out! 🎉 Yep, the most powerful QA tool around just got a bit better. More info here: wix.to/pa8CqhY #ModelBased #Automation #QATools #FMWinterIsOver

It must be November, Since our November Release is Out

Release notes 2025-11-06The leaves change their colorsCups of coffee chains tooWe have a new release outIt's just that kind of thing we do(No photoshoping was used for the above picture - these are...

provengo.ai
11
New version out, with many features and improvements. Locator healing, improved AI integration, powerful execution reports that will change how you make release Go/NoGo decisions. provengo.ai/post/early-autum… #FMWinterIsOver #DevTools #ModelBasedTesting #QATools #FormalMethods

Early Autumn, Late Release Notes

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

provengo.ai
15
We threw a PDF together explaining why #ModelBasedTesting is a good idea. It was quite easy because, well, #ModelBasedTesting is a good idea. If you're developing software systems, you should totally try this. content.provengo.tech/files/…
11
#CAST2025 here we come (to talk about Model-Based Testing and all)
1
17
Oh, look, an explainer video on the formal method underlying our tool suite! Plus a bit more stuff. But really a bit, it's mostly about the formal method underlying our tool suite. youtu.be/ReuKboygXWs #devTools #QA #FormalMethods #FMWinterIsOver
1
20
This is your friendly reminder that #CAST2025, coming this August to the Salt Lake City near you, will be awesome. In unrelated news, our CTO will be speaking there about #ModelBasedTesting. associationforsoftwaretestin… #QA #Automation #DevTools #FMWinterIsOver
1
26
Our CTO, @michbarsinai, will be speaking at #CAST2025, mostly about Model-Based Testing. See you there! @AST_News youtu.be/ESlOIoL9XMU
2
28
For those who waited until we have a proper @MacHomebrew installer - the wait is over! youtube.com/watch?v=JKXW0d5i… provengo.tech/good-news-brew… (this tweet also applies to those who didn't wait, but still like a simple installation process for their Macs.) #FMWinterIsOver #Modeling
1
15
Our CTO and JL Heather discuss innovation, AI, and moving fast without breaking things. linkedin.com/pulse/bringing-…

Bringing Precision to AI: Why Formal Methods Matter in the Age of Automation

Join the thousands of people here and subscribe to the Breakthrough Innovation Newsletter to receive strategies and insights into making innovation part of your organizations DNA Michael Bar-Sinai,...

linkedin.com
1
9
Load more