       Yogar-CBMC v0.1 
		     Order Graph based Abstract Refinement for Multi-threaded Program Verification 
             October 2016

Installation *

Same with CBMC, see Yogar-CBMC/COMPILING for more detail

Usage (SV-COMP 2017) *

To run Yogar-CBMC, use the following command-line from this directory:

$./yogar-cbmc --no-unwinding-assertions --32 --error-label ERROR --mm sc

where is the filename to be verified.

The counterexample will also be written in counterexample.witness.

About

Other

Languages

Language:SWIG 52.3%Language:C 22.8%Language:C++ 22.6%Language:Scilab 1.0%Language:Yacc 0.3%Language:Python 0.2%Language:Lex 0.2%Language:Shell 0.1%Language:Makefile 0.1%Language:CMake 0.1%Language:Pawn 0.0%Language:Perl 0.0%Language:Roff 0.0%Language:Java 0.0%Language:Objective-C 0.0%Language:Assembly 0.0%Language:DIGITAL Command Language 0.0%Language:Batchfile 0.0%