Enhancing modular OO verification with separation logic.
Wei-Ngan ChinCristina DavidHuu Hai NguyenShengchao QinPublished in: POPL (2008)
Keyphrases
- asynchronous circuits
- object oriented
- verification method
- programming language
- model checking
- object oriented databases
- derivation rules
- linear time temporal logic
- model checker
- bounded model checking
- automated reasoning
- formal verification
- classical logic
- conceptual modeling
- query language
- software engineering
- face verification
- formal methods
- linear temporal logic
- data model
- set theory
- temporal logic
- design methodology
- multi valued
- defeasible logic
- modal logic
- logical framework
- modular structure
- neural network
- relational databases
- high level
- artificial intelligence