Automated constraint-based addition of nonmasking and stabilizing fault-tolerance
From MaRDI portal
Publication:555302
DOI10.1016/J.TCS.2011.02.008zbMATH Open1217.68033OpenAlexW2000676183MaRDI QIDQ555302FDOQ555302
Authors: Fuad Abujarad, Sandeep S. Kulkarni 
Publication date: 22 July 2011
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.tcs.2011.02.008
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
- Self-stabilizing extensions for message-passing systems
- Self-stabilization
- Self-stabilizing systems in spite of distributed control
- A work-efficient distributed algorithm for reachability analysis
- Correct Hardware Design and Verification Methods
- Logic for Programming, Artificial Intelligence, and Reasoning
Cited In (5)
- 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
- Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
- Title not available (Why is that?)
Uses Software
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)
