Helping humans and AIs create well behaved software systems.
Israel/US
Joined October 2020
- Tweets186
- Following173
- Followers33
- Likes49
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
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…
New version of our IDE! Now with context menus and revamped file system engine.
provengo.ai/post/more-ide-up…
#DevTools #Modeling #FormalMethods #FMWinterIsOver
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.
Provengo Technologies retweeted
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.
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
We agree with @lennypruss (of @AmplifyPartners) - LLMs should also use formal methods to when programming (devinterrupted.substack.com/…). But why stop with TLA+? >>
Our executable specification platform is DEV, GenAI, and SME friendly. And it allows formal specifications that are both verifiable and executable. #FMWinterIsOver
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
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
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
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
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
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/…
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
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
Our CTO, @michbarsinai, will be speaking at #CAST2025, mostly about Model-Based Testing. See you there!
@AST_News
youtu.be/ESlOIoL9XMU
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
Our CTO and JL Heather discuss innovation, AI, and moving fast without breaking things.
linkedin.com/pulse/bringing-…
