scientific article; zbMATH DE number 1107558

MaRDI QIDQ4373487zbMATH OpenFDO

Authors

Publication date 20 April 1998

zbMATH Keywords

fault-tolerant processor designstructured verification methodology

Mathematics Subject Classification ID

Computer system organization (68M99) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Design and verification of fault tolerant systems with CSP
• Formally verifying fault tolerant system designs
• scientific article; zbMATH DE number 3890717
• Mechanical Verification of Automatic Synthesis of Fault-Tolerant Programs
• scientific article; zbMATH DE number 1543325

Cited in

(13)

• Design and verification of fault tolerant systems with CSP
• Design and verification of distributed recovery blocks with CSP
• Formally verifying fault tolerant system designs
• Automatic verification of fault-tolerant register emulations
• scientific article; zbMATH DE number 3890717 (Why is no real title available?)
• Reasoning about Control Flow in the Presence of Transient Faults
• Facilitating the design of fault tolerance in transaction level SystemC programs
• scientific article; zbMATH DE number 1982196 (Why is no real title available?)
• scientific article; zbMATH DE number 2087628 (Why is no real title available?)
• scientific article; zbMATH DE number 1852173 (Why is no real title available?)
• Mechanical Verification of Automatic Synthesis of Fault-Tolerant Programs
• Correct Hardware Design and Verification Methods
• Computer Aided Verification

This page was built for publication:

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