Abstracting Call-Stacks for Interprocedural Verification of Imperative Programs.

Bertrand Jeannet Wendelin Serwe

Published in: AMAST (2004)

Keyphrases

imperative programs
dynamic logic
model checking
face verification
formal analysis
formal methods
formal verification
person identification
verification method
real time
data model
plan execution
signature verification