On the Use of Formal Techniques for Validation

Authors:
N. Suri;P. Sinha
Affiliations:
-;-
Venue:
FTCS '98 Proceedings of the The Twenty-Eighth Annual International Symposium on Fault-Tolerant Computing
Year:
1998

Citing 0
Cited 2

Modular Composition of Redundancy Management Protocols in Distributed Systems: An Outlook on Simplifying Protocol Level Formal Specification and Verification

ICDCS '01 Proceedings of the The 21st International Conference on Distributed Computing Systems
FlowChecker: Detecting Bugs in MPI Libraries via Message Flow Checking

Proceedings of the 2010 ACM/IEEE International Conference for High Performance Computing, Networking, Storage and Analysis

Quantified Score

Hi-index	0.00

Visualization

Abstract