Provengo introduces - Active Software Requirements (based on formal methods), enabling specification, verification and validation of reactive, complex, highly regulated, or mission critical systems.
A novel modeling platform, allowing users to map complete designs and specifications for reactive systems. We enable easy validation, verification of the requirements, eliminating ambiguity in the development and execution stages.
By providing a holistic and executable map of all features, processes and system, Provengo helps you make sure the system is complete, all teams members clearly understand its intent, and all tests are mapped, prioritized to reduce operational risk
Areas of improvement: Time-to-Market, development productivity, system completeness, reduce communication flaws, system ambiguity, race conditions, risk based testing, Test Driven Development (TDD), Behavioral driven development (BDD)
We are a modelling platform that allows users (all team members) to capture all system requirements, processes, user jurneys, and the rules, regulations, personalization data that impacts them. Provengo then creates a model of your system which can be visualized as map of all possible scenarios of the complete process, it can be verified, validated, and tested accross all team members. Since we are able to visualize your process on all its implications and rules, it is much much simpler to understand, even by non-tech people.
Last, the complete process map can be prioritized, optimized and executed as automation tests. In other words, the system turns every scenarion it create, into a executable test that can be run as regression test, integration tests, UAT.
Active Software Requirements (based on formal methods), enabling specification, verification and validation of reactive, complex, highly regulated, or mission critical systems
Create your free account to connect with Dror Elad and thousands of other innovative organizations and professionals worldwide
Send a request for information
to Dror
Technology Offers on Innoget are directly posted
and managed by its members as well as evaluation of requests for information. Innoget is the trusted open innovation and science network aimed at directly connect industry needs with professionals online.
Need help requesting additional information or have questions regarding this Technology Offer?
Contact Innoget support
