Automatic Repair and Deadlock Detection for Parameterized Systems.

Swen Jacobs, Mouhammad Sakr, Marcus Vlp

Browse the full FMCAD paper archive.