Modular verification of linked lists with views via separation logic.
Jonas Braband JensenLars BirkedalPeter SestoftPublished in: FTfJP@ECOOP (2010)
Keyphrases
- asynchronous circuits
- verification method
- multiple views
- model checking
- derivation rules
- bounded model checking
- formal verification
- model checker
- modal logic
- classical logic
- linear time temporal logic
- single view
- database
- modular structure
- logic programming
- temporal logic
- epistemic logic
- linear temporal logic
- computational properties
- natural deduction
- digital circuits
- logical framework
- bayesian networks
- neural network
- databases