Login / Signup

Characteristic formulae for the verification of imperative programs.

Arthur Charguéraud
Published in: ICFP (2011)
Keyphrases
  • imperative programs
  • dynamic logic
  • model checking
  • formal verification
  • data sets
  • functional verification
  • case study
  • face verification
  • formal methods
  • signature verification
  • verification method
  • concurrent systems