Infinite state model checking by abstract interpretation and program specialisation (2000)

by Michael Leuschel, Thierry Massart
Venue:Logic-Based Program Synthesis and Transformation. Proceedings of LOPSTR’99, LNCS 1817