A Technique for Automata-based Verification with Residual Reasoning.
Shaun AzzopardiChristian ColomboGordon J. PacePublished in: MODELSWARD (2020)
Keyphrases
- model checking
- reasoning systems
- information retrieval
- reasoning mechanism
- reasoning process
- qualitative reasoning
- knowledge base
- automated reasoning
- model based reasoning
- analogical reasoning
- formal models
- consistency checking
- logical reasoning
- data sets
- meta level
- formal analysis
- case based reasoning
- formal verification
- genetic algorithm
- reasoning tasks
- reasoning problems
- resource bounded
- asynchronous circuits
- spatial reasoning