Verifying C++ with STL containers via predicate abstraction.

Nicolas Blanc Alex Groce Daniel Kroening

Published in: ASE (2007)

Keyphrases

high level
first order logic
data abstraction
model checking
information systems
multi agent systems
data sets
relational databases
special case
object oriented
verification method