Model Checking UML State Machines and Collaborations

The model checker SPIN

Gerard J. Holzmann · IEEE Transactions on Software Engineering · 1997 · 3.7K citations

Engineering, Model Checker Spin, Spin Systems +24

Automatic Verification of a Behavioural Subset of UML Statechart Diagrams Using the SPIN Model-checker

Diego Latella, István Majzik, Mieke Massink · Formal Aspects of Computing · 1999 · 289 citations

Implementing statecharts in PROMELA/SPIN

Erich Mikk, Yassine Lakhnech, Michael I. Siegel et al. · 2002 · 156 citations

Engineering, Extended Hierarchical Automata, Verification +20

Rewrite rules and operational semantics for model checking UML statecharts

Gihwon Kwon · Lecture notes in computer science · 2000 · 43 citations

Formal Specification, Engineering, Formal Modeling +11