A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
A framework for composition
Proceedings of 11th Annual Conference on Computer Assurance. COMPASS '96
Analysis of complex systems requires the use of a "divideand-conquer" approach to specification and verification. Existing theories for specification composition provide a starting point for a framework for such an approach. This paper describes a new framework that is a hybrid of two existing frameworks, explains the advantages of the new framework, and illustrates its use through a simple example. 1
doi:10.1109/cmpass.1996.507888
fatcat:mel3hivs7jfgvlymg5susmxlnu