Modular Verification of Linked Lists with Views via Separation Logic.
Jonas Braband JensenLars BirkedalPeter SestoftPublished in: J. Object Technol. (2011)
Keyphrases
- asynchronous circuits
- verification method
- model checking
- derivation rules
- multiple views
- bounded model checking
- model checker
- formal verification
- modal logic
- linear time temporal logic
- modular structure
- epistemic logic
- logic programming
- classical logic
- view synthesis
- automated reasoning
- computational properties
- neural network
- defeasible logic
- predicate logic
- multi valued
- deontic logic
- linear temporal logic
- three dimensional
- modular neural networks
- face recognition
- information extraction
- multi view
- digital circuits
- single view