Proceedings Article, Paper
@InProceedings
Beitrag in Tagungsband, Workshop


Show entries of:

this year (2019) | last year (2018) | two years ago (2017) | Notes URL

Action:

login to update

Options:








Author, Editor

Author(s):

Maier, Patrick

dblp



Editor(s):

Gordon, Andrew D.

dblp

Not MPII Editor(s):

Gordon, Andrew D.

BibTeX cite key*:

Maier2003a

Title, Booktitle

Title*:

Compositional Circular Assume-Guarantee Rules Cannot Be Sound and Complete

Booktitle*:

Foundations of software science and computation structures : 6th International Conference, FOSSACS 2003

Event, URLs

URL of the conference:

http://research.microsoft.com/~adg/Fossacs03

URL for downloading the paper:


Event Address*:

Warsaw, Poland

Language:

English

Event Date*
(no longer used):


Organization:


Event Start Date:

7 April 2003

Event End Date:

11 April 2003

Publisher

Name*:

Springer

URL:

http://www.springer.de

Address*:

Berlin, Germany

Type:


Vol, No, Year, pp.

Series:

Lecture Notes in Computer Science

Volume:

2620

Number:


Month:

April

Pages:

343-357

Year*:

2003

VG Wort Pages:

15

ISBN/ISSN:

3-540-00897-7

Sequence Number:


DOI:




Note, Abstract, ©


(LaTeX) Abstract:

Circular assume-guarantee reasoning is used for the compositional verification of concurrent systems. Its soundness has been studied in depth, perhaps because circularity makes it anything but obvious. In this paper, we investigate completeness. We show that compositional circular assume-guarantee rules cannot be both sound and complete.

Keywords:

Compositional Verification, Assume-Guarantee Reasoning, Completeness



Download
Access Level:

Public

Correlation

MPG Unit:

Max-Planck-Institut für Informatik



MPG Subunit:

Programming Logics Group

Appearance:

MPII WWW Server, MPII FTP Server, MPG publications list, university publications list, working group publication list, Fachbeirat, VG Wort



BibTeX Entry:

@INPROCEEDINGS{Maier2003a,
AUTHOR = {Maier, Patrick},
EDITOR = {Gordon, Andrew D.},
TITLE = {Compositional Circular Assume-Guarantee Rules Cannot Be Sound and Complete},
BOOKTITLE = {Foundations of software science and computation structures : 6th International Conference, FOSSACS 2003},
PUBLISHER = {Springer},
YEAR = {2003},
VOLUME = {2620},
PAGES = {343--357},
SERIES = {Lecture Notes in Computer Science},
ADDRESS = {Warsaw, Poland},
MONTH = {April},
ISBN = {3-540-00897-7},
}


Entry last modified by Uwe Brahm, 03/12/2010
Show details for Edit History (please click the blue arrow to see the details)Edit History (please click the blue arrow to see the details)
Hide details for Edit History (please click the blue arrow to see the details)Edit History (please click the blue arrow to see the details)

Editor(s)
Patrick Maier
Created
04/14/2003 02:15:21 PM
Revisions
5.
4.
3.
2.
1.
Editor(s)
Uwe Brahm
Christine Kiesel
Christine Kiesel
Christine Kiesel
Christine Kiesel
Edit Dates
09/15/2004 02:33:28 PM
17.06.2004 15:45:21
17.06.2004 15:45:00
17.06.2004 15:44:22
05/03/2004 08:28:09 PM
Show details for Attachment SectionAttachment Section
Hide details for Attachment SectionAttachment Section