C2E2: A Verification Tool for Stateflow Models.

Parasara Sridhar Duggirala, Sayan Mitra, Mahesh Viswanathan, Matthew Potok

Browse the full TACAS paper archive.