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

Mathematics Subject Classification ID

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

Cited In (1)

• Space Complexity of Fault-Tolerant Register Emulations

   Recommendations

• Title not available (Why is that?) 👍 👎
• 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 👍 👎
• Title not available (Why is that?) 👍 👎

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)