Modular Abstractions for Verifying Real-Time Distributed Systems
No abstract available.
Related papers
- QuickSilver: modeling and parameterized verification for distributed agreement-based systems OOPSLA 2021
- Verifying strong eventual consistency in distributed systems OOPSLA 2017
- Automated Verification for Real-Time Systems - via Implicit Clocks and an Extended Antimirov Algorithm TACAS 2023
- Aneris: A Mechanised Logic for Modular Reasoning about Distributed Systems ESOP 2020
- Why3-do: The Way of Harmonious Distributed System Proofs ESOP 2022
- VeriRT: An End-to-End Verification Framework for Real-Time Distributed Systems POPL 2025
- Modularity for decidability of deductive verification with applications to distributed systems PLDI 2018
- Timed Condition/Event Systems: A Framework for Modular Discrete Models of Chemical Plants and Verification of Their Real-Time Discrete Control TACAS 1996