C2e2: A verification tool for stateflow models. Compare Execute Check Engine (C2E2) is a tool for verifying bounded-time invariant properties of hybrid system and Stateflow models. It supports nonlinear dynamics.
Keywords for this software
References in zbMATH (referenced in 1 article )
Showing result 1 of 1.
- Bak, Stanley; Bogomolov, Sergiy; Henzinger, Thomas A.; Johnson, Taylor T.; Prakash, Pradyot: Scalable static hybridization methods for analysis of nonlinear systems (2016)
Further publications can be found at: https://publish.illinois.edu/c2e2-tool/publications/