Provengo Technologies (@ProvengoTech) / X

Provengo Technologies

184 posts

Provengo Technologies

@ProvengoTech

Helping humans and AIs create well behaved software systems.

Israel/US

Joined October 2020

Provengo Technologies
@ProvengoTech
Jul 17
New version of our IDE! Now with context menus and revamped file system engine. provengo.ai/post/more-ide-… #DevTools #Modeling #FormalMethods #FMWinterIsOver
provengo.ai
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 Technologies
@ProvengoTech
Mar 13
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
@ProvengoTech
Feb 3
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
Provengo Technologies
@ProvengoTech
Jan 30
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+? >>
What language should LLMs program in?
From devinterrupted.substack.com
Provengo Technologies
@ProvengoTech
Jan 11
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
New Year, New Release
From provengo.ai
See @ProvengoTech's full profile
Sign up
Log in

See @ProvengoTech's full profile

See @ProvengoTech's full profile