Enabling Large-Scale Pervasive Logic Verification through Multi-Algorithmic Formal Reasoning.
Tilman GlöklerJason BaumgartnerDevi ShanmugamA. E. (Rick) SeiglerGary A. Van HubenBarinjato RamanandrayHari MonyPaul RoesslerPublished in: FMCAD (2006)
Keyphrases
- proof theory
- asynchronous circuits
- formal methods
- automated reasoning
- proof theoretic
- computational properties
- logical framework
- model checking
- human reasoning
- formal models
- order of magnitude reasoning
- deductive reasoning
- intuitionistic logic
- probabilistic logic
- model theoretic
- formal language
- reasoning engine
- computational logic
- modal logic
- verification method
- logical inference
- ctl model update
- small scale
- computing environments
- model checker
- commonsense reasoning
- logical reasoning
- knowledge base
- bounded model checking
- abductive reasoning
- causal reasoning
- highly expressive
- proof procedure
- knowledge representation formalisms
- logical rules
- formal specification
- reasoning about actions
- meta level
- knowledge representation and reasoning
- reasoning systems
- classical logic
- reasoning process
- formal model
- probabilistic reasoning
- formal analysis
- reasoning tasks
- logic programming
- operational semantics
- predicate logic
- context aware
- temporal logic
- description logics
- knowledge representation
- default reasoning
- intelligent environments
- formal verification
- epistemic logic
- mathematical theory