top of page
Latest News
It must be November, Since our November Release is Out
Release notes 2025-11-06 The leaves change their colors Cups of coffee chains too We have a new release out It's just that kind of thing we do (No photoshoping was used for the above picture - these are trees next to our US office) In this release: Our new reports got a warm welcome (we get it, they are very good indeed ). This version adds resilience for certain errors (thanks, Miriam!), dark mode, and improved graphic design. Our Constrains library is now formally verified
Michael Bar-Sinai
Nov 61 min read
Provengo Tool: October 2023 Edition
Hello everyone, We've been busy coding a new version of our main command-line tool. We added lots of new features, fixed some issues, and...
Michael Bar-Sinai
Oct 1, 20232 min read
How Confident are you that your system is fully Tested?
The more complex your code, the tougher it is to test!!
Are you the QA that needs to make sure everything is ready for production? Are you the Development manager that needs to signoff on the go-no-go decision?
Your QA team may be eliminating some of the problems using “Risk Based Testing” or other methods, but they are far from completely resolving the issue. You are not alone – most companies do not run full tests on their systems.
Michael Bar-Sinai
Sep 20, 20232 min read
bottom of page