Dirk Beyer

Correctness witnesses: exchanging verification results between verifiers

2016

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 an exchangeable witness format. This way, information about …