72 citations · 97 across the 10 of their papers we have counts for
1 paper · 2 filters
Julien Brunel, David Chemouil, Alcino Cunha +1
Most model checkers provide a useful simulation mode, that allows users to explore the set of possible behaviours by interactively picking at each state which event to execute next…