Main

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 c2e2help@gmail.com for support.

Latest

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.