English
 
Help Privacy Policy Disclaimer
  Advanced SearchBrowse

Item

ITEM ACTIONSEXPORT
 
 
DownloadE-Mail
  A Set-Theoretic Framework for Assume-Guarantee Reasoning

Maier, P. (2001). A Set-Theoretic Framework for Assume-Guarantee Reasoning. In F. Orejas, P. G. Spirakis, & J. van Leeuwen (Eds.), Proceedings of the 28th International Colloquium on Automata, Languages and Programming (ICALP-2001) (pp. 821-834). Berlin, Germany: Springer.

Item is

Files

show Files

Locators

show

Creators

show
hide
 Creators:
Maier, Patrick1, Author           
Affiliations:
1Programming Logics, MPI for Informatics, Max Planck Society, ou_40045              

Content

show
hide
Free keywords: -
 Abstract: We present a circular assume-guarantee rule in an abstract setting (of sets over a partially-ordered domain). The rule has a mathematically concise side condition. Now, in order to prove an assume-guarantee rule in a concrete setting, all we need to do is to is to instantiate the abstract setting and check the side condition; i.e., we need not redo the notorious circularity argument again. We use this framework to prove a new assume-guarantee rule for Kripke structures. That rule generalizes existing assume-guarantee rules for other settings such as Reactive Modules or Mealy machines.

Details

show
hide
Language(s): eng - English
 Dates: 2010-03-122001
 Publication Status: Issued
 Pages: -
 Publishing info: -
 Table of Contents: -
 Rev. Type: -
 Identifiers: eDoc: 519821
Other: Local-ID: C1256104005ECAFC-5591D85165BBA635C1256AAF0051F355-Maier2001
 Degree: -

Event

show
hide
Title: Untitled Event
Place of Event: Crete, Greece
Start-/End Date: 2001-07-08 - 2001-07-12

Legal Case

show

Project information

show

Source 1

show
hide
Title: Proceedings of the 28th International Colloquium on Automata, Languages and Programming (ICALP-2001)
Source Genre: Proceedings
 Creator(s):
Orejas, Fernando, Editor
Spirakis, Paul G.1, Editor           
van Leeuwen, Jan, Editor
Affiliations:
1 Algorithms and Complexity, MPI for Informatics, Max Planck Society, ou_24019            
Publ. Info: Berlin, Germany : Springer
Pages: - Volume / Issue: - Sequence Number: - Start / End Page: 821 - 834 Identifier: ISBN: 3-540-42287-0

Source 2

show
hide
Title: Lecture Notes in Computer Science
Source Genre: Series
 Creator(s):
Affiliations:
Publ. Info: -
Pages: - Volume / Issue: 2076 Sequence Number: - Start / End Page: - Identifier: -