Perfect Model Checking via Unfold/Fold Transformations (2000)

Cached

Download Links

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

Documents Related by Co-Citation

55 Infinite state model checking by abstract interpretation and program specialisation – Michael Leuschel, Thierry Massart - 2000
42 A Transformation System for Deductive Database Modules with Perfect Model Semantics – M J Maher - 1989
213 Unfold/fold transformations of logic programs – H Tamaki, T Sato - 1984
571 A Transformation System for Developing Recursive Programs – R. M. Burstall, John Darlington - 1977
242 Logic Programming and Negation: A Survey – Krzysztof R. Apt, Roland Bol - 1994
1858 Foundations of Logic Programming – J Lloyd - 1987
29 Synthesis And Transformation Of Logic Programs Using Unfold/Fold Proofs – Alberto Pettorossi, Maurizio Proietti - 1999
37 Transformations of CLP Modules – Sandro Etalle, Maurizio Gabbrielli - 1995
21 Verification of Parameterized Systems Using Logic Program Transformations – Abhik Roychoudhury, K. Narayan Kumar, C. R. Ramakrishnan, I.V. Ramakrishnan, Scott A. Smolka - 1999
23 A parameterized unfold/fold transformation framework for definite logic programs – Abhik Roychoudhury, K. Narayan Kumar, C. R. Ramakrishnan, I. V. Ramakrishnan - 1999
61 Total Correctness by Local Improvement in the Transformation of Functional Programs – David Sands - 1996
43 Unfold/fold transformation of stratified programs – H Seki - 1991
39 Unfold/fold transformations in logic programs – P A Gardner, J C Shepherdson - 1991
25 Reducing Nondeterminism while Specializing Logic Programs – Alberto Pettorossi, Maurizio Proietti, Sophie Renault - 1997
118 Efficient Model Checking Using Tabled Resolution – Y. S. Ramakrishna, C. R. Ramakrishnan, I. V. Ramakrishnan, Scott A. Smolka, Terrance Swift, David S. Warren - 1997
21 Constraint Logic Programming for Local and Symbolic Model-checking – Ulf Nilsson, Johan L├╝bcke - 2000
26 Transforming constraint logic programs – N Bensaou, I Guessarian - 1998
89 Model Checking in CLP – Giorgio Delzanno, Andreas Podelski - 1999
8 Transformation of logic programs, volume 5 – A Pettorossi, M Proietti - 1998