46 citations · 47 across the 5 of their papers we have counts for
1 paper · 2 filters
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…