Parameterized Safety Verification of Round-Based Shared-Memory Systems.

Nathalie Bertrand, Nicolas Markey, Ocan Sankur, Nicolas Waldburger

Browse the full ICALP paper archive.