A Brief Description of the Verification Tool
Wenhui Zhang.
VERDS: Verification of hierarchical discrete systems by symbolic techniques. Manuscript, 2013.

Download and Running the Program (Tested on a Linux Platform with 1024GB Memory)

download of VERDS (verds1.49.tar)

  • run "tar -xvf verds1.49.tar" to unpack the file.
  • type "cd verds" to go to the program directory.
  • run "./verds examples/me001.vvm" to check the program execution.


    Some Evaluation Reports

    Last modified: SEPT 2019