Provengo Tool Documentation

Provengo is a tool for organizations that develop software systems. It improves communication between business, development, and QA teams, and improved product quality. This is done by making system requirements active - they can be validated, visualized, and imposed on the developed system using auto-generated, optimized test suites.

The Provengo tool is a result of many years of research in software engineering and formal modeling. There’s a lot of computer-science-y innovation under the hood, which allows for a lot of novel features that other systems may not be able to offer. Try it out and see for yourself!