CBMC-SSM: Bounded Model Checking of C Programs with Symbolic Shadow Memory.

Bernd Fischer Salvatore La Torre Gennaro Parlato Peter Schrammel

Published in: ASE (2022)

Keyphrases

bounded model checking
model checking
formal verification
intermediate level
linear temporal logic
temporal logic
memory requirements
memory space
multi agent systems
light source
memory usage
principal component analysis
computer programs
search algorithm
dynamic programming