C2e2

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

Anything in here will be replaced on browsers that support the canvas element