CaltechAUTHORS
  A Caltech Library Service

Towards a Compositional Approach to the Design and Verification of Distributed Systems

Charpentier, Michel and Chandy, K. Mani (1999) Towards a Compositional Approach to the Design and Verification of Distributed Systems. In: FM’99 — Formal Methods. Lecture Notes in Computer Science. No.1708. Springer , Berlin, pp. 570-589. ISBN 978-3-540-66587-8. https://resolver.caltech.edu/CaltechAUTHORS:20200715-074133363

Full text is not posted in this repository. Consult Related URLs below.

Use this Persistent URL to link to this item: https://resolver.caltech.edu/CaltechAUTHORS:20200715-074133363

Abstract

We are investigating a component-based approach for formal design of distributed systems. In this paper, we introduce the framework we use for specification, composition and communication and we apply it to an example that highlights the different aspects of a compositional design, including top-down and bottom-up phases, proofs of composition, refinement proofs, proofs of program texts, and component reuse.


Item Type:Book Section
Related URLs:
URLURL TypeDescription
https://doi.org/10.1007/3-540-48119-2_32DOIArticle
https://rdcu.be/b5Dn9PublisherFree ReadCube access
https://resolver.caltech.edu/CaltechCSTR:1999.cs-tr-99-02Related ItemTechnical Report
Additional Information:© 1999 Springer-Verlag Berlin Heidelberg. First Online: 17 September 1999. This work is supported by a grant from the Air Force Office of Scientific Research.
Funders:
Funding AgencyGrant Number
Air Force Office of Scientific Research (AFOSR)UNSPECIFIED
Subject Keywords:component-based design; distributed systems; formal specification; formal verification; temporal logic; UNITY
Series Name:Lecture Notes in Computer Science
Issue or Number:1708
Record Number:CaltechAUTHORS:20200715-074133363
Persistent URL:https://resolver.caltech.edu/CaltechAUTHORS:20200715-074133363
Usage Policy:No commercial reproduction, distribution, display or performance rights in this work are provided.
ID Code:104386
Collection:CaltechAUTHORS
Deposited By: Tony Diaz
Deposited On:15 Jul 2020 14:54
Last Modified:15 Jul 2020 14:54

Repository Staff Only: item control page