Automatic Verification of Iterated Separating Conjunctions Using Symbolic Execution.

Peter Müller Malte Schwerhoff Alexander J. Summers

Published in: CAV (1) (2016)

Keyphrases

symbolic execution
static analysis
test data generation
test generation
source code
specification language
data flow
database
neural network
case study
building blocks
formal specification