Unbounded Lazy-CSeq: A Lazy Sequentialization Tool for C Programs with Unbounded Context Switches - (Competition Contribution).

Truc L. Nguyen, Bernd Fischer, Salvatore La Torre, Gennaro Parlato

Browse the full TACAS paper archive.