Efficiently Verifiable Conditions for Deadlock-Freedom of Large Concurrent Programs.

Paul C. Attie, Hana Chockler

Browse the full VMCAI paper archive.