Generating and Analyzing Symbolic Traces of Simulink/Stateflow Models

Aditya Kanade

Rajeev Alur

Franjo Ivancic

S. Ramesh

Sriram Sankaranarayanan

K. C. Shashidhar

CAV (2009), pp. 430-445

Google Scholar

Abstract

Research Areas

Algorithms and theory