Template-Based Verification of Heap-Manipulating Programs.

Viktor Malík Martin Hruska Peter Schrammel Tomás Vojnar

Published in: FMCAD (2018)

Keyphrases

symbolic execution
hardware designs
data structure
model checking
automatic programming
learning algorithm
verification method
control structures
data sets
formal methods
functional verification
programming environment
formal analysis
video sequences
multiscale
social networks
information retrieval
real world