Symbolic Model Checking of Infinite State Systems Using Presburger Arithmetic.

Tevfik Bultan, Richard Gerber, William W. Pugh

Browse the full CAV paper archive.