Yet Another Application for Topie: Verification of Mutual Exclusion Algorithms.

Marc-Michel Corsini, Alain Griffault, Antoine Rauzy

Browse the full LPAR paper archive.