Unbounded Lazy-CSeq: A Lazy Sequentialization Tool for C Programs with Unbounded Context Switches - (Competition Contribution)
No abstract available.
DOI 10.1007/978-3-662-46681-0_45
Related papers
- 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
- 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
- JayHorn: A Java Model Checker - (Competition Contribution) TACAS 2019