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

Active Bibliography

1 Automatic Derivation of Logic Programs by Transformation – Alberto Pettorossi, Maurizio Proietti - 2000
4 Program Derivation = Rules + Strategies – Alberto Pettorossi, Maurizio Proietti - 2001
2 VERIFYING INFINITE STATE SYSTEMS BY SPECIALIZING CONSTRAINT LOGIC PROGRAMS – F. Fioravanti, A. Pettorossi, M. Proietti
5 Proving properties of constraint logic programs by eliminating existential variables – Alberto Pettorossi, Maurizio Proietti, Valerio Senni - 2006
14 Transformation Rules for Locally Stratified Constraint Logic Programs – Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti - 2004
17 Verifying CTL Properties of Infinite State Systems by Specializing Constraint Logic Programs – Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti - 2001
3 Verification of Sets of Infinite State Processes Using Program Transformation – F. Fioravanti, A. Pettorossi, M. Proietti - 2001
1 TRANSFORMATIONS OF LOGIC PROGRAMS ON INFINITE LISTS – A. Pettorossi, M. Proietti, V. Senni - 2010
Transformational Verification of Linear Temporal Logic – Alberto Pettorossi, Maurizio Proietti, Valerio Senni
34 Logic programming revisited: logic programs as inductive definitions – Marc Denecker, Maurice Bruynooghe, Victor Marek - 2001
53 Logic program specialisation through partial deduction: Control issues – Michael Leuschel, Maurice Bruynooghe - 2002
21 Constraint Logic Programming for Local and Symbolic Model-checking – Ulf Nilsson, Johan Lübcke - 2000
16 Disjunctive Logic Programming: A Survey And Assessment – Jack Minker, Dietmar Seipel - 2002
31 Knowledge Representation with Logic Programs – Gerhard Brewka, Jürgen Dix - 1996
22 Prolegomena to Logic Programming for Non-Monotonic Reasoning – Jürgen Dix, Luis Moniz Pereira, Teodor Przymusinski
Algebraic System Specification and Development: Survey and Annotated Bibliography - Second Edition - – Martin Gogolla, Zhenyu Qian, Hélène Kirchner, Markus Wolf (Eds.), Maura Cerioli, Maura Cerioli, Universit`a Degli Studi Di Genova, Prof Dr, Bernd Krieg-Brückner, Bernd Krieg-bruckner - 1997
4 Dealing with Non-Orientable Equations in Rewriting Induction – Takahito Aoto
16 Automating Inductionless Induction using Test Sets – Deepak Kapur, Paliath Narendran, Hantao Zhang - 1991
2 Program Transformations for Automated Verification of Parameterized Concurrent Systems – Abhik Roychoudhury - 1999