Symbolic model checking of in state systems using Presburger arithmetic (0)

by T Bultan, R Gerber, W Pugh
Venue:In CAV '97, LNCS 1254