Lazy Sequentialization for the Safety Verification of Unbounded Concurrent Programs.

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

Browse the full ATVA paper archive.