SV-COMP 2015 marks the start of a new epoch of software verification: In the 4 th
Competition on Software Verification, software verifiers produced for each reported property …

There is no silver bullet for software verification: Different techniques have different
strengths. Thus, it is imperative to combine the strengths of verification tools via …

It is commonly understood that a verification tool should provide a counterexample to
witness a specification violation. Until recently, software verifiers dumped error witnesses in …

Standard verification tools provide a counterexample to witness a specification violation,
and, since a few years, such a witness can be validated by an independent validator using …

This report describes the 3rd International Competition on Software Verification (SV-COMP
2014), which is the third edition of a thorough comparative evaluation of fully automatic …

The research community made enormous progress in the past years in developing
algorithms for verifying software, as shown by international competitions. Unfortunately, the …

LNCS 8413 - ESBMC 1.22 Page 1 ESBMC 1.22 (Competition Contribution) Jeremy Morse 1 ,
Mikhail Ramalho 2 , Lucas Cordeiro 2 , Denis Nicole 1 , and Bernd Fischer 3 1 Electronics …

Witness validation is an important technique to increase trust in verification results, by
making descriptions of error paths (violation witnesses) and important parts of the …

Over the last years, witness-based validation of verification results has become an
established practice in software verification: An independent validator re-establishes …

Traditionally, a verification task is considered solved as soon as a property violation or a
correctness proof is found. In practice, this is where the actual work starts: Is it just a false …