On Local Reasoning in Verification.
Carsten IhlemannSwen JacobsViorica Sofronie-StokkermansPublished in: TACAS (2008)
Keyphrases
- model checking
- knowledge base
- formal verification
- reasoning process
- reasoning systems
- verification method
- social networks
- resource bounded
- automated reasoning
- formal analysis
- data mining
- fuzzy reasoning
- proof theory
- reasoning mechanism
- reasoning problems
- model based reasoning
- analogical reasoning
- causal reasoning
- knowledge representation and reasoning
- formal methods
- multi agent systems
- learning algorithm
- machine learning