Verifying Concurrent Message-Passing C Programs with Recursive Calls
No abstract available.
Related papers
- DafnyMPI: A Dafny Library for Verifying Message-Passing Concurrent Programs POPL 2026
- Verifying message-passing programs with dependent behavioural types PLDI 2019
- On the Completeness of Verifying Message Passing Programs Under Bounded Asynchrony CAV 2018
- Deadlock-Free Separation Logic: Linearity Yields Progress for Dependent Higher-Order Message Passing POPL 2024
- Object-Oriented Concurrent Programming in ABCL/1 OOPSLA 1986
- Multris: Functional Verification of Multiparty Message Passing in Separation Logic OOPSLA 2024
- Inferring ownership transfer for efficient message passing PPoPP 2011
- Automatic Verification of Erlang-Style Concurrency SAS 2013