Automatic verification of fault-tolerant register emulations

zbMATH Open1273.68219MaRDI QIDQ2852016FDOQ2852016

Hana Chockler, Paul C. Attie

Publication date: 7 October 2013

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

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

Mathematics Subject Classification ID

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

Cited In (3)

• Space Complexity of Fault-Tolerant Register Emulations
• A Distributed Algorithm of Fault Recovery for Stateful Failover
• 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)