Formal Verification of Concurrent Algorithms: Case Studies on Mutual Exclusion.

Naoki Nishiguchi, Tatsuhiro Tsuchiya

Browse the full PRDC paper archive.