Structuring the verification of heap-manipulating programs.

Aleksandar Nanevski Viktor Vafeiadis Josh Berdine

Published in: POPL (2010)

Keyphrases

data structure
symbolic execution
hardware designs
model checking
neural network
artificial intelligence
intermediate level
provably correct
image sequences
case study
formal methods
formal analysis
automatic programming
information retrieval
concurrent systems
java bytecode
database