Automated constraint-based addition of nonmasking and stabilizing fault-tolerance
From MaRDI portal
(Redirected from Publication:555302)
Recommendations
- Symbolic synthesis of masking fault-tolerant distributed programs
- scientific article; zbMATH DE number 1696500
- Synthesizing bounded-time 2-phase fault recovery
- Automating the addition of fault tolerance with discrete controller synthesis
- Weakest invariant generation for automated addition of fault-tolerance
Cites work
- A work-efficient distributed algorithm for reachability analysis
- Correct Hardware Design and Verification Methods
- Logic for Programming, Artificial Intelligence, and Reasoning
- Self-stabilization
- Self-stabilizing extensions for message-passing systems
- Self-stabilizing systems in spite of distributed control
Cited in
(11)- Symbolic synthesis of masking fault-tolerant distributed programs
- Mechanical Verification of Automatic Synthesis of Fault-Tolerant Programs
- Automation of fault-tolerant graceful degradation
- Automating the addition of fault tolerance with discrete controller synthesis
- Ensuring average recovery with adversarial scheduler
- Weakest invariant generation for automated addition of fault-tolerance
- The complexity of automated addition of fault-tolerance without explicit legitimate states
- Synthesizing bounded-time 2-phase fault recovery
- On the complexity of adding convergence
- Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
- scientific article; zbMATH DE number 1696500 (Why is no real title available?)
This page was built for publication: Automated constraint-based addition of nonmasking and stabilizing fault-tolerance
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q555302)
