Can Formal Methods Improve the Efficiency of Code Reviews?

Martin Hentschel Reiner Hähnle Richard Bubel

Published in: IFM (2016)

Keyphrases

formal methods
formal analysis
model checking
artificial intelligence
case study
formal specification
model checker
provably correct
databases
multi agent systems
software engineering
open source
security properties
development lifecycle