Bounded Model Checking of Pointer Programs Revisited.

Witold Charatonik Piotr Witkowski

Published in: CoRR (2016)

Keyphrases

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