Computational category theory
Fundamentals of algebraic specification 2: module specifications and constraints
Fundamentals of algebraic specification 2: module specifications and constraints
Fault tolerance in distributed systems
Fault tolerance in distributed systems
Horus: a flexible group communication system
Communications of the ACM
Formal methods: state of the art and future directions
ACM Computing Surveys (CSUR) - Special ACM 50th-anniversary issue: strategic directions in computing research
Formally Verified On-Line Diagnosis
IEEE Transactions on Software Engineering
Component Based Design of Multitolerant Systems
IEEE Transactions on Software Engineering
Building reliable, high-performance communication systems from components
Proceedings of the seventeenth ACM symposium on Operating systems principles
Advanced Concepts in Operating Systems
Advanced Concepts in Operating Systems
MOCHA: Modularity in Model Checking
CAV '98 Proceedings of the 10th International Conference on Computer Aided Verification
A Framework for Modular Formal Specification and Verification
FME '97 Proceedings of the 4th International Symposium of Formal Methods Europe on Industrial Applications and Strengthened Foundations of Formal Methods
On the Use of Formal Techniques for Validation
FTCS '98 Proceedings of the The Twenty-Eighth Annual International Symposium on Fault-Tolerant Computing
Identification of Test Cases Using a Formal Approach
FTCS '99 Proceedings of the Twenty-Ninth Annual International Symposium on Fault-Tolerant Computing
Flexible Protocol Composition in Bast
ICDCS '98 Proceedings of the The 18th International Conference on Distributed Computing Systems
Modular Composition and Verification of Transaction Processing Protocols
ICDCS '03 Proceedings of the 23rd International Conference on Distributed Computing Systems
ACM SIGCOMM Computer Communication Review
| Hi-index | 0.00 |
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.