Verification of Parameterized Systems Using Logic Program Transformations.

Abhik Roychoudhury, K. Narayan Kumar, C. R. Ramakrishnan, I. V. Ramakrishnan, Scott A. Smolka

Browse the full TACAS paper archive.