Next: Contents Contents

The SMV language

K. L. McMillan
Cadence Berkeley Labs
2001 Addison St.
Berkeley, CA 94704
USA
mcmillan@cadence.com

$\begin{figure}\centerline{\psfig{figure=logo2.eps}}\end{figure}$

Abstract:

This document describes the current state of the input language used by the SMV model checker.

©1998 Cadence Berkeley Labs, Cadence Design Systems.

2002-10-28