P. Sinha and D.Q. Ren (Canada)
Dependable distributed protocols, specification composition, category theory
Systems with dependability requirements must operate with a high degree of confidence, and for such systems, we need to demonstrate the correctness of the protocol pro viding for reliable and timely services. With ever grow ing complexity of protocol level operations, the develop ment of precise and accurate formal specifications of these protocols, and their subsequent formal verification to gain assurance have been a great challenge. Exploiting the in herent modularity in the design of most dependable proto cols, in this paper, we present our category-theory-based framework for specification composition and verification of such protocols. Specifically, we illustrate how category based formalization of building-block protocols permit re usability of these basic formal modules.
Important Links:
Go Back
