Model Checking of Statechart Models: Survey and Research Directions

Purandar Bhaduri, S. Ramesh

We survey existing approaches to the formal verification of statecharts using model checking. Although the semantics and subset of statecharts used in each approach varies consider…