ZEIDE'S LOGIC, AND CONCLUSION, "Falsification without verification (and hence induction) cannot exist", are invalid.
Keith RennollsPublished in: Math. Comput. For. Nat. Resour. Sci. (2010)
Keyphrases
- asynchronous circuits
- verification method
- bounded model checking
- model checking
- model checker
- formal verification
- inductive learning
- classical logic
- modal logic
- functional programs
- defeasible logic
- rule induction
- linear time temporal logic
- subgroup discovery
- concurrent systems
- inductive inference
- temporal logic
- logic programming
- machine learning
- sound and complete axiomatization
- functional verification
- program synthesis
- epistemic logic
- nonmonotonic logics
- logical framework
- formal methods
- face verification
- web services
- artificial intelligence
- learning algorithm