Generating and Analyzing Symbolic Traces of Simulink/Stateflow Models.

Aditya Kanade, Rajeev Alur, Franjo Ivancic, S. Ramesh, Sriram Sankaranarayanan, K. C. Shashidhar

Browse the full CAV paper archive.