Verification logic.
Juan Pablo Aguilera OzunaDavid Fernández-DuquePublished in: J. Log. Comput. (2017)
Keyphrases
- asynchronous circuits
- verification method
- model checking
- model checker
- bounded model checking
- logic programming
- sound and complete axiomatization
- modal logic
- data sets
- formal verification
- linear time temporal logic
- deductive reasoning
- delay insensitive
- predicate logic
- temporal logic
- computational properties
- logical framework
- abductive reasoning
- epistemic logic
- deontic logic
- multi valued
- automated reasoning
- formal methods
- face verification
- multi agent systems
- artificial intelligence