Verfication condition generation and simplification for XYZ/SE programs

download of XYZ/VERI-II (veri2.tar.gz)

Running the Program (Tested on a Linux Platform with the X11 Library)
  • run "tar -xvf veri2.tar.gz" to unpack the file.
  • type "cd veri2" to go to the program directory.
  • type "make" to compile the program.
  • run "./veri2" to check the program execution.


    An introduction to XYZ/VERI-II (veri2.ppt).


    Wenhui Zhang.
    Verification of XYZ/SE programs.
    Chinese Journal of Advanced Software Research 2(4):364-373, 1995.