Automatic Verification of Parameterized Linear Networks of Processes.

David Lesens, Nicolas Halbwachs, Pascal Raymond

Browse the full POPL paper archive.