Synthesis of Fault-Tolerant Embedded Systems Using Games: From Theory to Practice
No abstract available.
DOI 10.1007/978-3-642-18275-4_10
Related papers
- Measuring Masking Fault-Tolerance TACAS 2019
- Synthesizing Permissive Winning Strategy Templates for Parity Games CAV 2023
- Adoption protocols for fanout-optimal fault-tolerant termination detection PPoPP 2013
- A short counterexample property for safety and liveness verification of fault-tolerant distributed algorithms POPL 2017
- Synthesis of fault-tolerant concurrent programs TOPLAS 2004
- Specification and Verification of Fault-Tolerance, Timing, and Scheduling TOPLAS 1999
- Randomized Testing of Byzantine Fault Tolerant Algorithms OOPSLA 2023
- Self-Checkpoint: An In-Memory Checkpoint Method Using Less Space and Its Practice on Fault-Tolerant HPL PPoPP 2017