Automated Assume-Guarantee Reasoning for Omega-Regular Systems and Specifications.

Sagar Chaki Arie Gurfinkel

Published in: NASA Formal Methods (2010)

Keyphrases

reasoning systems
distributed systems
building blocks
knowledge base
management system
computer systems
finite state machines
spatial reasoning
expert systems
learning systems
complex systems
fully automated
knowledge representation systems
reason maintenance