No description, website, or topics provided.
Switch branches/tags
Nothing to show
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Type Name Latest commit message Commit time
Failed to load latest commit information.
packages
README.md
SyntaxFilter.py
commandclass.py
config.properties
graphclass.py
j2llogs.logs
viap_svcomp.py
viap_tool.py

README.md

VIAP-SVCOMP2018

This page is the submission of VIAP -- a software verification tool to the 2018 Competition 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-SVCOMP2018