Model Checking of Statechart Models: Survey and Research Directions

  title={Model Checking of Statechart Models: Survey and Research Directions},
  author={Purandar Bhaduri and 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 considerably, along with the model checkers and their specification languages, most approaches rely on translating the hierarchical structure into the flat representation of the input language of the model checker. This makes model checking difficult to scale to industrial models, as the state space grows exponentially with… CONTINUE READING
Highly Cited
This paper has 40 citations. REVIEW CITATIONS

From This Paper

Figures, tables, and topics from this paper.


Publications citing this paper.
Showing 1-10 of 27 extracted citations

Statecharts for Reconfigurable Modular Control of Complex Reactive Systems: need for formal verification and associated problems

First International Conference on Industrial and Information Systems • 2006
View 4 Excerpts
Highly Influenced

A case study in specification defects detection using statecharts

2015 6th IEEE International Conference on Software Engineering and Service Science (ICSESS) • 2015

An approach to verify SysML functional requirements using Promela/SPIN

2015 12th International Symposium on Programming and Systems (ISPS) • 2015
View 1 Excerpt


Publications referenced by this paper.
Showing 1-10 of 11 references

Holzmann . Implementing statecharts in PROMELA / SPIN

Yassine Lakhnech, Michael Siegel
Proc . of the Asian Computing Science Conference ( ASIAN ’ 97 ) . , volume 1345 of LNCS • 1997

The Model Checker SPIN

IEEE Trans. Software Eng. • 1997

Executable Object Modeling with Statecharts

H. Lachover, A. Naamad, +3 authors M. Trakhtenbrot

Similar Papers

Loading similar papers…