XYZ/VERI-II
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.
Documentations
An introduction to XYZ/VERI-II (veri2.ppt).
References
Wenhui Zhang.
Verification of XYZ/SE programs.
Chinese Journal of Advanced Software Research 2(4):364-373, 1995.