Precisely Deciding Control State Reachability in Concurrent Traces with Limited Observability
Abstract elided by the publisher.
Related papers
- Introspective pushdown analysis of higher-order programs ICFP 2012
- Decidable Verification under Localized Release-Acquire Concurrency TACAS 2024
- Parameterized Verification of Systems with Precise (0,1)-Counter Abstraction VMCAI 2025
- Trace-based control-flow analysis PLDI 2021
- Coarser Equivalences for Causal Concurrency POPL 2024
- Canary: practical static detection of inter-thread value-flow bugs PLDI 2021
- Verification under TSO with an infinite Data Domain TACAS 2024
- Directed Reachability for Infinite-State Systems TACAS 2021