This page is the submission of VIAP -- a software verification tool to theCompetition on Software Verification SVCOMP.
Pritom Rajkhowa (HKUST)
Fangzhen Lin (HKUST)
Untar: tar -xvf VIAP-SVCOMP2018.zip
python PATH_TO_VIAP/viap_tool.py [OPTIONS] file
--spec=SPEC SPEC is the property file.
-ReachSafety-Arrays,
-ReachSafety-Loops,
-ReachSafety-Recurrences .
-Result TRUE when the program is safe
-Result FALSE when a counterexample is found.
-Result UNKNOWN otherwise.