Provengo Technologies

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.

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

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/Prov… #IDE #ModelBased #Automation #QA #FMWinterIsOver

Our executable specification platform is DEV, GenAI, and SME friendly. And it allows formal specifications that are both verifiable and executable. #FMWinterIsOver

We agree with @lennypruss (of @AmplifyPartners) - LLMs should also use formal methods to when programming (devinterrupted.substack.com/p/what-languag…). But why stop with TLA+? >>

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-… #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=6k5C6J… #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-se… #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-aut… #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/MBT.pdf

#CAST2025 here we come (to talk about Model-Based Testing and all)

@guywiener היוש 😄

הייתי רוצה להגיד לכם שהטסטים המוגזמים של הצוות במכון עם מליון הקאשים והמוקים והדאטהבייסים שלהם עם הבילד הנאו-נצנצי הם טירוף על גבול הפרעת אישיות קולקטיבית, אבל הם הצילו לי ת׳תחת היום מבאג ממש מעדות המביכוש אז תכתבו טסטים ממש מוגזמים ילדים, זה עוזר 💪

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. …iationforsoftwaretesting.substack.com/p/cast-2025-sp… #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=JKXW0d… 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…

New version out, with updates to Selenium operations, Text messages and OTPs, to mention a few. Read more here provengo.tech/april-2025-edi…