Benchmarking of Java Verification Tools at the Software Verification Competition (SV-COMP)

Lucas Cordeiro, Daniel Kroening, Peter Schrammel

Empirical evaluation of verification tools by benchmarking is a common method in software verification research. The Competition on Software Verification (SV-COMP) aims at standard…