Title :
A framework for composition
Author_Institution :
Secure Comput. Corp., Roseville, MN, USA
Abstract :
Analysis of complex systems requires the use of a “divide and conquer” approach to specification and verification. Existing theories for specification composition provide a starting point for a framework for such an approach. The 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
Keywords :
divide and conquer methods; formal specification; problem solving; complex systems; composition framework; divide and conquer approach; specification composition; verification; Buildings; Lakes; Sociotechnical systems; Specification languages;
Conference_Titel :
Computer Assurance, 1996. COMPASS '96, Systems Integrity. Software Safety. Process Security. Proceedings of the Eleventh Annual Conference on
Conference_Location :
Gaithersburg, MD
Print_ISBN :
0-7803-3390-X
DOI :
10.1109/CMPASS.1996.507888
