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.