Lazy-CSeq: A Lazy Sequentialization Tool for C - (Competition Contribution)
Abstract elided by the publisher.
Related papers
- Unbounded Lazy-CSeq: A Lazy Sequentialization Tool for C Programs with Unbounded Context Switches - (Competition Contribution) TACAS 2015
- Lazy-CSeq 2.0: Combining Lazy Sequentialization with Abstract Interpretation - (Competition Contribution) TACAS 2017
- CSeq: A Sequentialization Tool for C - (Competition Contribution) TACAS 2013
- Bounded Verification of Multi-threaded Programs via Lazy Sequentialization TOPLAS 2022
- MU-CSeq: Sequentialization of C Programs by Shared Memory Unwindings - (Competition Contribution) TACAS 2014
- MU-CSeq 0.3: Sequentialization by Read-Implicit and Coarse-Grained Memory Unwindings - (Competition Contribution) TACAS 2015
- A Prototype for Data Race Detection in CSeq 3 - (Competition Contribution) TACAS 2022
- MU-CSeq 0.4: Individual Memory Location Unwindings - (Competition Contribution) TACAS 2016