Logic verification based on diagnosis techniques.
Andreas G. VenerisAlexander SmithMagdy S. AbadirPublished in: ASP-DAC (2003)
Keyphrases
- asynchronous circuits
- verification method
- model checking
- model checker
- bounded model checking
- model based diagnosis
- formal verification
- linear time temporal logic
- causal reasoning
- logic programming
- modal logic
- multi valued
- predicate logic
- face verification
- fault diagnosis
- digital circuits
- clinically relevant
- logical framework
- medical diagnosis
- automatic diagnosis
- medical diagnostic
- neural network
- deontic logic
- diagnostic reasoning
- truth values
- classical logic
- fault detection
- medical images
- model based reasoning
- root cause
- defeasible logic
- multi agent systems
- formal methods
- dynamic systems
- data sets
- multiple faults
- database