A cut-off approach for bounded verification of parameterized systems.

Qiusong Yang, Mingshu Li

Browse the full ICSE paper archive.