Compare Execute Check Engine (C2E2) is a tool for verifying bounded-time invariant properties of hybrid system and Stateflow models. It supports nonlinear dynamics. Email for support.


May 15, 2017: C2E2 Ver 0.5 released for academic use. New features: Thin variable, can work on Macs.
April 25, 2016: Sneak peek at the next version of C2E2.