Reasoning about Control Flow in the Presence of Transient Faults

DOI10.1007/978-3-540-69166-2_22MaRDI QIDQ3522081zbMATH OpenOpenAlexFDO

Authors

Publication date 28 August 2008

Published in Static Analysis (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-69166-2_22

Mathematics Subject Classification ID

Reliability, testing and fault tolerance of networks and computer systems (68M15) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Static typing for a faulty lambda calculus
• Faulty Logic: Reasoning about Fault Tolerant Programs
• scientific article; zbMATH DE number 1107558
• Coding Approaches to Fault Tolerance in Linear Dynamic Systems
• scientific article; zbMATH DE number 4199936

Cited in

(4)

• Faulty Logic: Reasoning about Fault Tolerant Programs
• Early comparison and decision strategies for datapaths that recover from transient faults
• Instruction sequence faults with formal change justification
• Static typing for a faulty lambda calculus

This page was built for publication: Reasoning about Control Flow in the Presence of Transient Faults

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3522081)