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

Cached

Download Links

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