Automated circular assume-guarantee reasoning.
Karam Abd ElkaderOrna GrumbergCorina S. PasareanuSharon ShohamPublished in: Formal Aspects Comput. (2018)
Keyphrases
- semi automated
- hough transform
- databases
- reasoning tasks
- reasoning systems
- reasoning process
- qualitative reasoning
- meta level
- rule based reasoning
- computer assisted
- fully automatic
- semi automatic
- knowledge representation
- multi agent systems
- case study
- knowledge base
- reasoning mechanisms
- automated analysis
- data sets
- harmonic functions
- automated reasoning
- production rules
- fully automated
- image processing
- information retrieval