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