NuSMV3

NuSMV3, an eXtended version of the NuSMV symbolic model checker.

References in zbMATH (referenced in 1 article )

Showing result 1 of 1.
Sorted by year (citations)

  1. Cimatti, Alessandro; Griggio, Alberto; Schaafsma, Bastiaan Joost; Sebastiani, Roberto: The mathsat5 SMT solver (2013)


Further publications can be found at: https://es-static.fbk.eu/tools/nusmv3/index.php?n=Publications.Home