Computer Science

NUSMV: a new symbolic model checker

A. Cimatti, E. Clarke, Fausto Giunchiglia, Marco Roveri

2000.3.1International Journal on Software Tools for Technology Transfer

DOI: 10.1007/s100090050046

tlooto-Zusammenfassung

A new symbolic model checker, called NuSMV, developed as part of a joint project between CMU and IRST, and a detailed description of its functionalities, architecture, and implementation is described.

Abstract

Abstract ist nicht verfügbar.

Zitationsformat

CIMATTI, A., et al. NUSMV: A new symbolic model checker. International Journal on Software Tools for Technology Transfer, 2000, 2: 410–425.