Formal verification of object layout for c++ multiple inheritance.
Tahina RamananandroGabriel Dos ReisXavier LeroyPublished in: POPL (2011)
Keyphrases
- formal verification
- multiple inheritance
- complex objects
- model checking
- object identity
- bounded model checking
- model checker
- class hierarchies
- symbolic model checking
- program slicing
- object oriented
- automated verification
- temporal logic
- object oriented programming
- inheritance reasoning
- deductive databases
- object oriented databases
- object classes
- spatial databases
- distributed systems
- feature space
- database