Better Termination Proving through Cooperation
Abstract elided by the publisher.
Related papers
- A Proof System for Communicating Sequential Processes TOPLAS 1980
- A model of cooperative threads POPL 2009
- Using Symbolic Execution for Verification of Ada Tasking Programs TOPLAS 1990
- Mopsa-C: Modular Domains and Relational Abstract Interpretation for C Programs (Competition Contribution) TACAS 2023
- EBF 4.2: Black-Box Cooperative Verification for Concurrent Programs - (Competition Contribution) TACAS 2023
- A concurrency model for JavaScript with cooperative cancellation SLE 2021
- Better Together: Unifying Datalog and Equality Saturation PLDI 2023
- OTM: Applying Objects to Tasks OOPSLA 1987