Assume-Guarantee Based Compositional Reasoning for Synchronous Timing Diagrams.
Nina AmlaE. Allen EmersonKedar S. NamjoshiRichard J. TreflerPublished in: TACAS (2001)
Keyphrases
- knowledge base
- reasoning systems
- knowledge representation
- uml class diagrams
- spatial reasoning
- automated reasoning
- reasoning engine
- database
- domain knowledge
- probabilistic reasoning
- legal reasoning
- genetic algorithm
- causal reasoning
- consistency checking
- model based reasoning
- asynchronous circuits
- hand drawn
- information retrieval
- data mining