b2c0905525
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.
4 lines
260 B
Text
4 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.
|