Professional Documents
Culture Documents
Introduction
NuSMV is a software tool for the formal verification of finite state systems. It
has been developed jointly by FBK-IRST and by Carnegie Mellon University.
Since NuSMV is intended to describe finite state machines, the only data types in
the language are finite ones, i.e. boolean, scalar, bit vectors and fixed arrays of
basic data types.