VERBS: versions

download of VERBS (verbs1.35.tar)

Running the Program (Tested on a Linux Platform with 128GB Memory)
  • run "tar -xvf verbs1.35.tar" to unpack the file.
  • type "cd verbs" to go to the program directory.
  • run "./verbs examples/mutex01.vvm" to check the program execution.

    download of VERBS (verbs1.27.tar)

    Running the Program (Tested on a Linux Platform with 128GB Memory)
  • run "tar -xvf verbs1.27.tar" to unpack the file.
  • type "cd verbs" to go to the program directory.
  • update "config.h" for specification of the SAT-solver to be used (recommended).
  • type "make" to compile the program.
  • run "./verbs ver/rr09vp7.ver" to check the program execution.

    download of VERBS (verbs1.25.tar)

    Running the Program (Tested on a Linux Platform with 128GB Memory)
  • run "tar -xvf verbs1.25.tar" to unpack the file.
  • type "cd verbs" to go to the program directory.
  • update "config.h" for specification of the SAT-solver to be used.
  • type "make" to compile the program.
  • run "./verbs ver/p1uu09ik.ver" to check the program execution.