Automated Assume-Guarantee Reasoning for Simulation Conformance.
Sagar ChakiEdmund M. ClarkeNishant SinhaPrasanna ThatiPublished in: CAV (2005)
Keyphrases
- simulation model
- real time
- qualitative simulation
- semi automated
- data driven
- fully automated
- knowledge representation
- model based reasoning
- database
- neural network
- reasoning tasks
- logical reasoning
- rule based reasoning
- formal models
- data sets
- reasoning systems
- reasoning process
- default reasoning
- probabilistic reasoning
- artificial intelligence
- semi automatic
- mathematical model
- case study