Specify and verify fault-tolerant systems in XYZ/E

Ruan Jian Xue Bao/Journal of Software

Volumn 13, Issue 5, 2002, Pages 913-920

  Guo, Liang ^a   Tang, Zhi Song ^a  

^a INSTITUTE OF SOFTWARE   (China)

Author keywords

Fault tolerant system; Fault tolerant transformation; Refinement; Specification; Temporal logic language XYZ E; Verification

Indexed keywords

ALGORITHMS; COMPUTER PROGRAM LISTINGS; COMPUTER PROGRAMMING LANGUAGES; MATHEMATICAL MODELS; SPECIFICATIONS; THEOREM PROVING;

FAULT ENVIRONMENT; FAULT TOLERANT TRANSFORMATION; RECOVERY ALGORITHMS; REFINEMENT; STATE TRANSITION; VERIFICATION;

FAULT TOLERANT COMPUTER SYSTEMS;

EID: 0036585383     PISSN: 10009825     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (10)

1. Terminology and paradigms for fault tolerance
2. Checkpointing and rollback-recovery for distributed systems
3. Specification and verification of fault-tolerance, timing and scheduling
4. Transformation of programs for fault-tolerance
5. Fault-tolerant programming by transformations
6. An introduction to XYZ system
7. The temporal logic of actions
8. The existence of refinement mapping
9. Completing the temporal picture