Verification logic: An arithmetical interpretation for negative introspection.
Juan P. AguileraDavid Fernández-DuquePublished in: Advances in Modal Logic (2016)
Keyphrases
- asynchronous circuits
- verification method
- model checking
- model checker
- positive and negative
- bounded model checking
- autoepistemic logic
- image interpretation
- modal logic
- formal verification
- classical logic
- linear time temporal logic
- automated reasoning
- predicate logic
- semantic interpretation
- face verification
- logic programming
- dynamic logic
- sound and complete axiomatization
- neural network
- inference process
- formal methods
- expert systems
- high level
- machine learning