Verification of an Incremental Garbage Collector in Hoare-Style Logic.
Chunxiao LinYiyun ChenBei HuaPublished in: Int. J. Softw. Informatics (2009)
Keyphrases
- asynchronous circuits
- model checking
- verification method
- bounded model checking
- classical logic
- garbage collection
- model checker
- modal logic
- multi valued
- logic programming
- incremental learning
- delay insensitive
- formal verification
- linear time temporal logic
- proof theory
- fingerprint verification
- defeasible logic
- computational properties
- logical framework
- web services
- truth values
- databases
- automated reasoning
- data structure