VIS - Verification Interactiing with Synthesis
VIS
VIS (Verification Interacting with Synthesis) is a system for formal
verification, synthesis, and simulation of finite state systems.
VIS provides a convenient vierification environment on which
you can build your own verification tools.
It includes CUDD package for BDD manipulation,
so you do not need to download it separately.
Visit the original website of
VSIS
at the UCB website.
Download VIS
Use the following link for Windows based
vis.exe
system.
This and other useful
Windows tools are available (courtesy of Alan Mishchenko).