Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Compositionality: The Significant Difference: International Symposium, COMPOS’97 Bad Malente, Germany, September 8–12, 1997 Revised Lectures > Toward Parametric Verification of Open Distributed Systems
Compositionality: The Significant Difference: International Symposium, COMPOS’97 Bad Malente, Germany, September 8–12, 1997 Revised Lectures |
Willem-Paul de Roever; Hans Langmaack; Amir Pnueli
Springer Berlin Heidelberg
Compositionality: The Significant Difference: International Symposium, COMPOS’97 Bad Malente, Germany, September 8–12, 1997 Revised Lectures
Toward Parametric Verification of Open Distributed Systems
Authors

Mads Dam; Lars-åke Fredlund; Dilian Gurov

ARI Id

1664380628662_1441259

Access

Not Available Free

Pages

150-185

DOI

10.1007/3-540-49213-5_7

Chapter URL

https://rd.springer.com/chapter/10.1007/3-540-49213-5_7

Table of Contents of Book
Showing 1 to 20 of 27 entries
Chapters/HeadingsAuthor(s)PagesInfo
Front Matter
I-VIII
The Need for Compositional Proof Systems: A Survey
Willem-Paul de Roever
1-22
Alternating-time Temporal Logic
Rajeev Alur; Thomas A. Henzinger; Orna Kupferman
23-60
Compositionality in dataflow synchronous languages: specification & code generation
Albert Benveniste; Paul Le Guernic; Pascal Aubry
61-80
Compositional Reasoning in Model Checking
Sergey Berezin; Sérgio Campos; Edmund M. Clarke
81-102
Modeling Urgency in Timed Systems
Sébastien Bornot; Joseph Sifakis; Stavros Tripakis
103-129
Compositional Refinement of Interactive Systems Modelled by Relations
Manfred Broy
130-149
Toward Parametric Verification of Open Distributed Systems
Mads Dam; Lars-åke Fredlund; Dilian Gurov
150-185
A Compositional Real-time Semantics of STATEMATE Designs
Werner Damm; Bernhard Josko; Hardi Hungar; Amir Pnueli
186-238
Deductive Verification of Modular Systems
Bernd Finkbeiner; Zohar Manna; Henny B. Sipma
239-275
Compositional Verification of Real-Time Applications
Jozef Hooman
276-300
Compositional Proofs for Concurrent Objects
Jerry James; Ambuj Singh
301-326
An overview of compositional translations
Theo M. V. Janssen
327-349
Compositional Verification of Multi-Agent Systems: a Formal Analysis of Pro-activeness and Reactiveness
Catholijn M. Jonker; Jan Treur
350-380
Modular Model Checking
Orna Kupferman; Moshe Y. Vardi
381-401
Composition: A Way to Make Proofs Harder
Leslie Lamport
402-423
Compositionality Criteria for Defining Mixed-Styles Synchronous Languages
Florence Maraninchi; Yann Rémond
424-438
Compositional Reasoning using Interval Temporal Logic and Tempura
B. C. Moszkowski
439-464
Decomposing Real-Time Specifications
Ernst-Rüdiger Olderog; Henning Dierks
465-489
On the Combination of Synchronous Languages
Axel Poigné; Leszek Holenderski
490-514
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 27 entries
Similar Books
Similar Chapters
Similar Thesis

Similar News

Similar Articles
Similar Article Headings