Welcome to the new version of CaltechAUTHORS. Login is currently restricted to library staff. If you notice any issues, please email coda@library.caltech.edu
Published April 30, 2001 | Submitted
Report Open

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

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.

Additional Information

© 1999 California Institute of Technology. This work is supported by a grant from the Air Force Office of Scientific Research.

Attached Files

Submitted - postscript__1_.pdf

Submitted - postscript.ps

Files

postscript__1_.pdf
Files (574.6 kB)
Name Size Download all
md5:4b45e8f2ba41c178767208c5f0b5f9a1
283.4 kB Preview Download
md5:c9f1a8525acf072303b7076608fdfb88
291.2 kB Download

Additional details

Created:
August 19, 2023
Modified:
October 24, 2023