Symbolic Model Checking of Stutter-Invariant Properties Using Generalized Testing Automata.

Ala-Eddine Ben Salem, Alexandre Duret-Lutz, Fabrice Kordon, Yann Thierry-Mieg

Browse the full TACAS paper archive.