Advances in Program Termination and Liveness
No abstract available.
Related papers
- Infinite-State Liveness Checking with rlive CAV 2025
- TaDA Live: Compositional Reasoning for Termination of Fine-grained Concurrent Programs TOPLAS 2021
- Advanced automata-based algorithms for program termination checking PLDI 2018
- Verifying liveness for asynchronous programs POPL 2009
- HyperLasso: Bounded Model Checking of ∀+∃>+-Liveness Hyperproperties CAV 2026
- SureDistrib: Verifying Almost-Sure Termination of Composite Asynchronous Byzantine Protocols PLDI 2026
- Context-bounded verification of liveness properties for multithreaded shared-memory programs POPL 2021
- Diamonds are not forever: liveness in reactive programming with guarded recursion POPL 2021