Provengo Technologies

Helping humans and AIs create well behaved software systems.

[Provengo Technologies @ProvengoTech]

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.

[Michael Bar-Sinai @michbarsinai]

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

[Provengo Technologies @ProvengoTech]

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:
https://t.co/5X4M66s8ft

#IDE #ModelBased #Automation #QA #FMWinterIsOver

[Provengo Technologies @ProvengoTech]

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

[Provengo Technologies @ProvengoTech]

We agree with @lennypruss (of @AmplifyPartners) - LLMs should also use formal methods to when programming (https://t.co/yo5b3WX6AY). But why stop with TLA+? >>

[Provengo Technologies @ProvengoTech]

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.

https://t.co/YJhZWmhK1a

#FormalMethods #QAAutomation #DevTools

[Provengo Technologies @ProvengoTech]

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

https://t.co/f8r24Inb4d

#FormalMethods #Testing #Automation #FMWinterIsOver

[Provengo Technologies @ProvengoTech]

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.

https://t.co/gqyOfq42c5

#FMWinterIsOver #FormalMethods

[Provengo Technologies @ProvengoTech]

Our November Release is now out! 🎉 Yep, the most powerful QA tool around just got a bit better. More info here:
https://t.co/6xABn18fRx #ModelBased #Automation #QATools #FMWinterIsOver

[Provengo Technologies @ProvengoTech]

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.

https://t.co/ITOs7jQVkN

#FMWinterIsOver

#DevTools #ModelBasedTesting #QATools #FormalMethods

[Provengo Technologies @ProvengoTech]

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.

https://t.co/PnY1tA4vTu

[Provengo Technologies @ProvengoTech]

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

[Provengo Technologies @ProvengoTech]

@guywiener היוש 😄

[Provengo Technologies @ProvengoTech]

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.

https://t.co/NBmerfsVRt

#devTools #QA #FormalMethods #FMWinterIsOver

[Provengo Technologies @ProvengoTech]

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.

https://t.co/196TkAuHi8

#QA #Automation #DevTools #FMWinterIsOver

[Provengo Technologies @ProvengoTech]

Our CTO, @michbarsinai, will be speaking at #CAST2025, mostly about Model-Based Testing. See you there!

@AST_News

https://t.co/kXAUeH8CHn

[Provengo Technologies @ProvengoTech]

For those who waited until we have a proper @MacHomebrew installer - the wait is over!

https://t.co/GAedZELyB0

https://t.co/JAe92KOaTG

(this tweet also applies to those who didn't wait, but still like a simple installation process for their Macs.)

#FMWinterIsOver #Modeling

[Provengo Technologies @ProvengoTech]

Our CTO and JL Heather discuss innovation, AI, and moving fast without breaking things.

https://t.co/VmWhFQaAkQ

[Provengo Technologies @ProvengoTech]

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!

https://t.co/22L1Ogeahq

[Provengo Technologies @ProvengoTech]

New version out, with updates to Selenium operations, Text messages and OTPs, to mention a few. Read more here https://t.co/davAWvIcGO