Sign in
Assume-Guarantee Reasoning with Local Specifications.
Alessio Lomuscio
Ben Strulo
Nigel G. Walker
Peng Wu
Published in:
ICFEM (2010)
Keyphrases
</>
reasoning systems
knowledge base
high level
knowledge representation
formal specification
reasoning mechanism
reasoning problems
reasoning process
meta level
finite state machines
data sets
reasoning tasks
software engineering
specification language
neural network
knowledge representation and reasoning
real time