Helping humans and AIs create well behaved software systems.
Israel/US
Joined October 2020
- Tweets185
- Following173
- Followers33
- Likes49
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-…
Our CTO @michbarsinai was a guest at the Breakthrough Innovation Podcast, talking about AI tools, why they need to be complemented with formal method tools, and other software engineering things. Thanks JL Heather and Preston Chandler for having him!
provengo.tech/guest-appearan…