Reasoning about Control Flow in the Presence of Transient Faults
No abstract available.
DOI 10.1007/978-3-540-69166-2_22
Related papers
- SWIFT: Software Implemented Fault Tolerance CGO 2005
- Static typing for a faulty lambda calculus ICFP 2006
- Fault-tolerant typed assembly language PLDI 2007
- Dependent Type Theory for Verification of Information Flow and Access Control Policies TOPLAS 2013
- MRI: Modular reasoning about interference in incremental programming JFP 2012
- Low-cost prediction-based fault protection strategy CGO 2020
- Runtime asynchronous fault tolerance via speculation CGO 2012
- TraceBack: first fault diagnosis by reconstruction of distributed control flow PLDI 2005