Modular Termination Verification for Non-blocking Concurrency
Abstract elided by the publisher.
Related papers
- Modular Verification of Finite Blocking in Non-terminating Programs ECOOP 2015
- Modular verification of a non-blocking stack POPL 2007
- Lilo: A Higher-Order, Relational Concurrent Separation Logic for Liveness OOPSLA 2025
- Nagini: A Static Verifier for Python CAV 2018
- The anchor verifier for blocking and non-blocking concurrent software OOPSLA 2020
- Modular verification of concurrent assembly code with dynamic thread creation and termination ICFP 2005
- Spirea: A Mechanized Concurrent Separation Logic for Weak Persistent Memory OOPSLA 2023
- Modular verification for almost-sure termination of probabilistic programs OOPSLA 2019