/SVCOMP

This page is the submission of VIAP -- a software verification tool to the Competition on Software Verification SVCOMP

VIAP-SVCOM

This page is the submission of VIAP -- a software verification tool to theCompetition on Software Verification SVCOMP.

Team

Pritom Rajkhowa (HKUST)

Fangzhen Lin (HKUST)

Installation

Untar: tar -xvf VIAP-SVCOMP2018.zip

Run

  python PATH_TO_VIAP/viap_tool.py [OPTIONS] file

Options

--spec=SPEC SPEC is the property file.

Categories

VIAP is participating in the following sub-categories.

-ReachSafety-Arrays, 

-ReachSafety-Loops,

-ReachSafety-Recurrences .

Results

Output contains the string:

-Result TRUE when the program is safe

-Result FALSE when a counterexample is found.

-Result UNKNOWN otherwise.

VIAP-SVCOMP