Sinha, P. and Suri, Neeraj (2001) Modular composition of redundancy management protocols in distributed systems : An outlook on simplifying protocol level formal specification & verification. In: 21st International Conference on Distributed Computing Systems, 2001-04-16 - 2001-04-19.
Full text not available from this repository.Abstract
In recent years, formal methods (FMs) have been extensively used for verification and validation (V&V) of dependable distributed protocols. Over our studies in utilizing FMs for V&V, we have observed that a number of protocols providing for distributed and dependable services can often be formulated using a small set of basic functional primitives or their variations. Thus, from the formal viewpoint, the objective of this paper is to introduce techniques, utilizing concepts of category theory, that could effectively identify and reuse basic formal modules in order to simplify formal specification and verification for a spectrum of protocols.