Verifying Concurrent Programs by Memory Unwinding
No abstract available.
Related papers
- 2LS: Arrays and Loop Unwinding - (Competition Contribution) TACAS 2023
- Bisimulation and Unwinding for Verifying Possibilistic Security Properties VMCAI 2003
- MU-CSeq: Sequentialization of C Programs by Shared Memory Unwindings - (Competition Contribution) TACAS 2014
- MU-CSeq 0.4: Individual Memory Location Unwindings - (Competition Contribution) TACAS 2016
- MU-CSeq 0.3: Sequentialization by Read-Implicit and Coarse-Grained Memory Unwindings - (Competition Contribution) TACAS 2015
- 2LS: Memory Safety and Non-termination - (Competition Contribution) TACAS 2018
- Dartagnan: Bounded Model Checking for Weak Memory Models (Competition Contribution) TACAS 2020
- Optimize Effect Handling for Tail-resumption with Stack Unwinding SLE 2025