DMCA

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:341 - 20 self