Soundness and Completeness of the NRB Verification Logic.
Peter T. BreuerSimon PickinPublished in: SEFM Workshops (2013)
Keyphrases
- asynchronous circuits
- verification method
- bounded model checking
- model checking
- model checker
- multi valued
- modal logic
- logic programming
- formal verification
- proof theory
- classical logic
- false acceptance rate
- set theory
- face verification
- inference rules
- website
- temporal logic
- face recognition
- delay insensitive
- deductive reasoning
- decision trees