Nusmv 2: An opensource tool for symbolic model checking (2002)

by Alessandro Cimatti , Edmund Clarke , Enrico Giunchiglia , Fausto Giunchiglia , Marco Pistore , Marco Roveri , Roberto Sebastiani , Armando Tacchella
Citations:234 - 14 self