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

Document Versions

Infinite state model checking by abstract interpretation and program specialisation –Michael Leuschel, Thierry Massart — 2000 — Logic-Based Program Synthesis and Transformation. Proceedings of LOPSTR’99, LNCS 1817
Infinite state model checking by abstract interpretation and program specialisation –Michael Leuschel, Thierry Massart — 1999 — Proceedings of LOPSTR '99