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:227 - 15 self