How Provengo and the Behavioral Programming at its core compare with today's modeling, verification and testing tools, measured in peer-reviewed studies Provengo is a tool suite for modeling, verifying, executing, and testing system behavior. At its core is Behavioral Programming (BP), a way of writing system requirements as small, independent scenarios that can be run, formally verified and used to generate tests. Provengo is not built on a new idea. It is built on a long line of research....