Information Sciences: an International Journal
Fault-Tolerant Software for Real-Time Applications
ACM Computing Surveys (CSUR)
Guardians and Actions: Linguistic Support for Robust, Distributed Programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
Communicating sequential processes
Communications of the ACM
Exception handling: issues and a proposed notation
Communications of the ACM
The Theory of Parsing, Translation, and Compiling
The Theory of Parsing, Translation, and Compiling
The specification of process synchronization by path expressions
Operating Systems, Proceedings of an International Symposium
A program structure for error detection and recovery
Operating Systems, Proceedings of an International Symposium
Primitives for distributed computing
SOSP '79 Proceedings of the seventh ACM symposium on Operating systems principles
A generalized assertion language
ICSE '76 Proceedings of the 2nd international conference on Software engineering
An approach to error-resistant software design
ICSE '76 Proceedings of the 2nd international conference on Software engineering
New assertion concepts for self-metric software validation
Proceedings of the international conference on Reliable software
Design of self-checking software
Proceedings of the international conference on Reliable software
Preliminary Ada reference manual
ACM SIGPLAN Notices - Preliminary Ada reference manual
| Hi-index | 0.00 |
An approach to verifying control flow in distributed computer systems (DCS) is presented.The approach is based on control flow checking among software components distributed over processors and cooperating among them.In this approach, control flow behavior of DCS software is modeled and contained in special software components called verifiers.The verifiers are distributed over the processors and consulted to check the correctness of the control flow in DCS software during its execution.Algorithms for deriving the verifiers are presented.This technique can detect global errors including synchronization errors as well as local errors.It can be used for sequential or concurrent software at various levels of details.Experiments show that using this technique requires no significant overhead.