Soundness and Completeness of the NRB Verification Logic.
Peter T. BreuerSimon PickinPublished in: CoRR (2013)
Keyphrases
- asynchronous circuits
- model checking
- verification method
- model checker
- bounded model checking
- modal logic
- logic programming
- formal verification
- temporal logic
- classical logic
- linear time temporal logic
- concurrent systems
- multi valued
- digital circuits
- automated reasoning
- abductive reasoning
- linear logic
- nonmonotonic logics
- proof theory
- dynamic logic
- machine learning
- set theory
- computational properties
- learning algorithm