Mechanical Verification of Recursive Procedures Manipulating Pointers Using Separation Logic.
Viorel PreoteasaPublished in: FM (2006)
Keyphrases
- asynchronous circuits
- model checking
- verification method
- multi valued
- epistemic logic
- bounded model checking
- classical logic
- temporal logic
- modal logic
- model checker
- computational properties
- formal verification
- recursive programs
- face verification
- logic programming
- set theory
- linear time temporal logic
- recursive queries
- artificial intelligence
- natural deduction
- cryptographic protocols
- digital circuits
- real time