Automated Assume-Guarantee Reasoning by Abstraction Refinement.
Mihaela Gheorghiu BobaruCorina S. PasareanuDimitra GiannakopoulouPublished in: CAV (2008)
Keyphrases
- semi automated
- knowledge base
- fully automated
- data driven
- data mining
- model based reasoning
- high level
- knowledge representation
- probabilistic reasoning
- meta level
- reasoning tasks
- reasoning processes
- data sets
- data abstraction
- uncertain information
- automated analysis
- state space
- decision making
- artificial intelligence
- machine learning
- databases