VIS: Verification Interacting with Synthesis.
VIS Homepage
``Minimizing Interacting Finite State Machines: A Compositional Approach to Language Containment,'' A. Aziz, V. Singhal, G. M. Swamy and R. K. Brayton, Technical Report UCB/ERL M93/68, Electronics Res. Lab., University of California, Berkeley, CA 94720
Under Construction