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

Cached

Download Links

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