A framework for composition
T. Fine · 2002
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.