9 citations · 14 across the 2 of their papers we have counts for
1 paper · 1 filter
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…