Using Abstract Interpretation to Correct Synchronization Faults
No abstract available.
Related papers
- Variability Fault Localization by Abstract Interpretation and its Application to SPL Repair SLE 2025
- Error Invariants for Fault Localization via Abstract Interpretation SAS 2023
- Modular Software Fault Isolation as Abstract Interpretation SAS 2018
- PSync: a partially synchronous language for fault-tolerant distributed algorithms POPL 2016
- Synthesis of fault-tolerant concurrent programs TOPLAS 2004
- Static Analysis by Abstract Interpretation of the Quasi-synchronous Composition of Synchronous Programs VMCAI 2005
- About Synchronous Programming and Abstract Interpretation SAS 1994
- Verifying Fault-Tolerance of Quantum Error Correction Codes CAV 2025