A case study in formal verification of a Java program.

Dmitry Brizhinev Rajeev Goré

Published in: CoRR (2018)

Keyphrases

formal verification
model checking
model checker
automated verification
bounded model checking
case study
symbolic model checking
coloured petri nets
temporal logic
program slicing
functional verification
expert systems
dynamic programming
software systems