VIS-1.4 Release ( Release Notes , Download VIS-1.4 )

VIS Users Mailing List Archive

VIS FAQ

Contents

• What is VIS?

• The VIS Group

• User Documentation

• Programmer Documentation

• Getting VIS-1.4

• Texas-97 Verification Benchmarks

• VIS : Technology Transfer Course Information

• VIS: How can we help you ?

• Please reference VIS as: "VIS: A system for Verification and Synthesis", The VIS Group, In the Proceedings of the 8th International Conference on Computer Aided Verification, p428-432, Springer Lecture Notes in Computer Science, #1102, Edited by R. Alur and T. Henzinger, New Brunswick, NJ, July 1996 ( HTML, Postscript)

• VIS Users Mailing List

  To sign up for this mailing list, send an email to listproc@lists.colorado.edu, within the body containing only
          subscribe vis-users <Your real name>
  To unsubscribe, send an email to the same address, stating
          unsubscribe vis-users <Your real name>

Comments, suggestions, complaints