Property Directed Reachability for Proving Absence of Concurrent Modification Errors
No abstract available.
Related papers
- Property-Directed Inference of Universal Invariants or Proving Their Absence CAV 2015
- U-Turn: Enhancing Incorrectness Analysis by Reversing Direction POPL 2026
- Exploiting Adjoints in Property Directed Reachability Analysis CAV 2023
- Interprocedural Context-Unbounded Program Analysis Using Observation Sequences TOPLAS 2021
- CUBA: interprocedural Context-UnBounded Analysis of concurrent programs PLDI 2018
- Generalized Property-Directed Reachability for Hybrid Systems VMCAI 2020
- Mailbox Abstractions for Static Analysis of Actor Programs ECOOP 2017
- Pointer Analysis, Conditional Soundness, and Proving the Absence of Errors SAS 2008