5 lines
260 B
Text
5 lines
260 B
Text
|
VIS is a system for formal verification, synthesis, and simulation of finite
|
||
|
state systems. It has been developed jointly at the University of California
|
||
|
at Berkeley, the University of Colorado at Boulder, and more recently at the
|
||
|
University of Texas, Austin.
|