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 firstname.lastname@example.org for support.
May 15, 2016: C2E2 Ver 0.3 released for academic use. New features: automatic detection of linear models, better performance with ODEINT simulator, model composition, new reachability algorithm, can work on Macs.
April 25, 2016: Sneak peek at the next version of C2E2.