Skip to main content
Fachgebiete
Automobil + Motoren Bauwesen + Immobilien Business IT + Informatik Elektrotechnik + Elektronik Energie + Nachhaltigkeit Finance + Banking Management + Führung Marketing + Vertrieb Maschinenbau + Werkstoffe Versicherung + Risiko
DE
EN
Themenseiten
Organisationspsychologie Projektmanagement Marketing Smart Manufacturing
Bücher
Zeitschriften
Weitere Formate
Podcasts Webinare Technik Webinare Wirtschaft Kongresse Veranstaltungskalender Awards
Jetzt Einzelzugang starten
Zugang für Unternehmen
Referenzkunden
MTZ-Fachkongress

Antriebe und Energiesysteme von morgen


Austausch von Automobil- und Energiewirtschaft

Am 14./15. Mai geht es in Chemnitz um die Mobilitätswende durch Elektro- und Wasserstofffahrzeuge.
Erweiterte Suche
Anmelden
nach oben
Erschienen in:
A Game Semantics for Generic Polymorphism Kapitel lesen Erstes Kapitel lesen

2003 | OriginalPaper | Buchkapitel

Compositional Circular Assume-Guarantee Rules Cannot Be Sound and Complete

verfasst von : Patrick Maier

Erschienen in: Foundations of Software Science and Computation Structures

Verlag: Springer Berlin Heidelberg

Enthalten in: Professional Book Archive

Zugang erhalten

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

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.

Vorheriges Kapitel Counting and Equality Constraints for Multitree Automata
Nächstes Kapitel A Monadic Multi-stage Metalanguage
Metadaten
Titel
Compositional Circular Assume-Guarantee Rules Cannot Be Sound and Complete
verfasst von
Patrick Maier
Copyright-Jahr
2003
Verlag
Springer Berlin Heidelberg
Buch
Foundations of Software Science and Computation Structures

Print ISBN: 978-3-540-00897-2

Electronic ISBN: 978-3-540-36576-1

Copyright-Jahr: 2003

DOI
https://doi.org/10.1007/3-540-36576-1_22

Neuer Inhalt

    Bildnachweise