Bounded Model Checking of Pointer Programs.

Witold Charatonik Lilia Georgieva Patrick Maier

Published in: CSL (2005)

Keyphrases

bounded model checking
model checking
formal verification
temporal logic
linear temporal logic
data structure
computer programs
multi agent systems
programming environment
neural network
automatic programming
java programs
concurrent systems