Faulty Logic: Reasoning about Fault Tolerant Programs
No abstract available.
Related papers
- Asphalion: trustworthy shielding against Byzantine faults OOPSLA 2019
- Fault-tolerant functional reactive programming (extended version) JFP 2020
- Velisarios: Byzantine Fault-Tolerant Protocols Powered by Coq ESOP 2018
- Functional faults PPoPP 2020
- Static typing for a faulty lambda calculus ICFP 2006
- PSync: a partially synchronous language for fault-tolerant distributed algorithms POPL 2016
- Fault-Tolerant Resource Reasoning APLAS 2015
- A fault-tolerant programming model for distributed interactive applications OOPSLA 2019