BLITZ: Compositional bounded model checking for real-world programs.

Chia Yuan Cho Vijay D'Silva Dawn Song

Published in: ASE (2013)

Keyphrases

bounded model checking
real world
model checking
synthetic data
linear temporal logic
formal verification
general purpose
temporal logic
wide range
case study
data sets
computer programs
database
dynamic programming
real life
cooperative
programming environment