Verification of parameterized concurrent programs by modular reasoning about data and control.

Azadeh Farzan, Zachary Kincaid

Browse the full POPL paper archive.