Automatic verification of fault-tolerant register emulations

MaRDI QIDQ2852016zbMATH OpenFDO

Authors Paul C. Attie, Hana Chockler

Publication date 7 October 2013

Full work available at URL http://www.sciencedirect.com/science/article/pii/S1571066106000533

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Distributed algorithms (68W15)

Recommendations

• scientific article; zbMATH DE number 1107558
• A Framework for End-to-End Verification and Evaluation of Register Allocators
• Runtime verification based on register automata
• Mechanical Verification of Automatic Synthesis of Fault-Tolerant Programs
• Verification of dynamic register automata
• Space Complexity of Fault-Tolerant Register Emulations
• scientific article; zbMATH DE number 1670799

Cited in

(4)

• Space Complexity of Fault-Tolerant Register Emulations
• A Distributed Algorithm of Fault Recovery for Stateful Failover
• What you always wanted to know about model checking of fault-tolerant distributed algorithms
• On Verifying Fault Tolerance of Distributed Protocols

This page was built for publication: Automatic verification of fault-tolerant register emulations

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