Perfect Model Checking via Unfold/Fold Transformations (2000)

Cached

Download Links

by Alberto Pettorossi , Maurizio Proietti
Venue:In Computational Logic, LNCS 1861
Citations:12 - 9 self

Documents Related by Co-Citation

641 A Transformation System for Developing Recursive Programs – R. M. Burstall, John Darlington - 1977
2039 Foundations of Logic Programming – J Lloyd - 1987
69 Infinite state model checking by abstract interpretation and program specialisation – Michael Leuschel, Thierry Massart - 2000
267 Logic Programming and Negation: A Survey – Krzysztof R. Apt, Roland Bol - 1994
57 Unfold/fold transformation of stratified programs – H Seki - 1991
3023 Compositional Model Checking – E. M. Clarke, D. E. Long, K. L. Mcmillan - 1999
42 A transformation system for deductive database modules with perfect model semantics – M J Maher - 1993
240 Unfold/fold transformation of logic programs – H Tamaki, T Sato - 1984
131 Efficient Model Checking Using Tabled Resolution – Y. S. Ramakrishna, C. R. Ramakrishnan, I. V. Ramakrishnan, Scott A. Smolka, Terrance Swift, David S. Warren - 1997