Modular composition of redundancy management protocols in distributed systems:An outlook on simplifying protocol level formal specification & verification

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-162001-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.

Item Type:
Contribution to Conference (Paper)
Journal or Publication Title:
21st International Conference on Distributed Computing Systems
Subjects:
?? COMPUTER SOFTWAREDATA COMMUNICATION SYSTEMSFORMAL LOGICINTERFACES (COMPUTER)LARGE SCALE SYSTEMSNETWORK PROTOCOLSTELECOMMUNICATION SERVICESFORMAL METHODSFORMAL VALIDATIONFORMAL VERIFICATIONREDUNDANCY MANAGEMENT PROTOCOLDISTRIBUTED COMPUTER SYSTEMS ??
ID Code:
137647
Deposited By:
Deposited On:
08 Oct 2019 08:45
Refereed?:
Yes
Published?:
Published
Last Modified:
19 Sep 2023 03:46