Verifying Concurrent Programs with Chalice
No abstract available.
Related papers
- Verifying the Safety of a Practical Concurrent Garbage Collector CAV 1996
- Verifying Concurrent Graph Algorithms APLAS 2016
- Verifying Concurrent Memory Reclamation Algorithms with Grace ESOP 2013
- Verifiable and Executable Logic Specifications of Concurrent Objects in Lpi ESOP 1998
- Verifying Concurrent Programs against Sequential Specifications ESOP 2013
- Efficiently Verifiable Conditions for Deadlock-Freedom of Large Concurrent Programs VMCAI 2005
- ConDRust: Scalable Deterministic Concurrency from Verifiable Rust Programs ECOOP 2023
- Verifying Concurrent Programs by Memory Unwinding TACAS 2015