MU-CSeq: Sequentialization of C Programs by Shared Memory Unwindings - (Competition Contribution)
No abstract available.
Related papers
- MU-CSeq 0.3: Sequentialization by Read-Implicit and Coarse-Grained Memory Unwindings - (Competition Contribution) TACAS 2015
- MU-CSeq 0.4: Individual Memory Location Unwindings - (Competition Contribution) TACAS 2016
- CSeq: A Sequentialization Tool for C - (Competition Contribution) TACAS 2013
- Lazy-CSeq: A Lazy Sequentialization Tool for C - (Competition Contribution) TACAS 2014
- Lazy-CSeq 2.0: Combining Lazy Sequentialization with Abstract Interpretation - (Competition Contribution) TACAS 2017
- Unbounded Lazy-CSeq: A Lazy Sequentialization Tool for C Programs with Unbounded Context Switches - (Competition Contribution) TACAS 2015
- A Prototype for Data Race Detection in CSeq 3 - (Competition Contribution) TACAS 2022
- 2LS: Arrays and Loop Unwinding - (Competition Contribution) TACAS 2023