The following publications are possibly variants of this publication:
- Lazy-CSeq: A Context-Bounded Model Checking Tool for Multi-threaded C-ProgramsOmar Inverso, Truc L. Nguyen, Bernd Fischer 0002, Salvatore La Torre, Gennaro Parlato. ASE 2015: 807-812 [doi]
- Lazy-CSeq 2.0: Combining Lazy Sequentialization with Abstract Interpretation - (Competition Contribution)Truc L. Nguyen, Omar Inverso, Bernd Fischer 0002, Salvatore La Torre, Gennaro Parlato. TACAS 2017: 375-379 [doi]
- Unbounded Lazy-CSeq: A Lazy Sequentialization Tool for C Programs with Unbounded Context Switches - (Competition Contribution)Truc L. Nguyen, Bernd Fischer 0002, Salvatore La Torre, Gennaro Parlato. TACAS 2015: 461-463 [doi]