[Next] [Up] [Previous] [Contents]
Next: Operations on signals Up: SMV language overview Previous: Structs

Signals and assignments

A signal is an infinite sequence of values of a given type. For example,

        0;1;0;1;...
is a sequence of type boolean (of course, it is alo an integer sequence).





Ken McMillan
Sat Jun 6 21:41:59 PDT 1998