Design of sytems with concurrent error detection using software redundancy

Authors:
Kien A. Hua;Jacob A. Abraham
Affiliations:
Computer Systems Group, Coordinated Science Laboratory, University of Illinois, Urbana, IL;Computer Systems Group, Coordinated Science Laboratory, University of Illinois, Urbana, IL
Venue:
ACM '86 Proceedings of 1986 ACM Fall joint computer conference
Year:
1986

An Introduction to Proving the Correctness of Programs

ACM Computing Surveys (CSUR)
Logical analysis of programs

Communications of the ACM
The synthesis of loop predicates

Communications of the ACM
Fault-secure algorithms for multiple-processor systems

ISCA '84 Proceedings of the 11th annual international symposium on Computer architecture
Design of self-checking software

Proceedings of the international conference on Reliable software
Self-checking programs: an axiomatic approach to the validation of programs by the use of assertions

Self-checking programs: an axiomatic approach to the validation of programs by the use of assertions

Hi-index	0.00