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

Lucas C. Cordeiro Daniel Kroening Peter Schrammel

Published in: CoRR (2018)

Keyphrases

object oriented
formal methods
end users
open source
lightweight
software tools
source code
byte code
database applications
model checking
object oriented programming language
databases
international competition
java card
user friendly
decision support
information technology
data mining