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

Documents Related by Co-Citation

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
2426 Compositional Model Checking – E. M. Clarke, D. E. Long, K. L. Mcmillan - 1999
642 Partial Evaluation and Automatic Program Generation – N D Jones, C K Gomard, P Sestoft - 1993
583 The Theory and Practice of Concurrency – A W Roscoe - 1998
41 Conjunctive Partial Deduction: Foundations, Control, Algorithms, and Experiments – Danny De Schreye, Robert Glück, Jesper Jørgensen, Michael Leuschel, Bern Martens, Morten Heine Sørensen - 1999
57 Controlling generalisation and polyvariance in partial deduction of normal logic programs – M Leuschel, B Martens, D De Schreye - 1998
25 Solving Coverability Problems of Petri Nets by Partial Deduction – Michael Leuschel, Helko Lehmann - 2000
26 Coverability of reset Petri nets and other well-structured transition systems by partial deduction – Michael Leuschel, Helko Lehmann - 2000
157 The B-Book – J Abrial - 1996
89 Model Checking in CLP – Giorgio Delzanno, Andreas Podelski - 1999
21 Constraint Logic Programming for Local and Symbolic Model-checking – Ulf Nilsson, Johan Lübcke - 2000
242 Logic Programming and Negation: A Survey – Krzysztof R. Apt, Roland Bol - 1994
1858 Foundations of Logic Programming – J Lloyd - 1987
27 Program specialisation and abstract interpretation reconciled – Michael Leuschel - 1998
769 Constraint Logic Programming: A Survey – Joxan Jaffar, Michael J. Maher
18 Logic program specialisation – Michael Leuschel - 1999
240 Partial evaluation in logic programming – J Lloyd, J Shepherdson - 1987
416 Introduction to Logic Programming – K R Apt - 1990
212 XSB as an Efficient Deductive Database Engine – Konstantinos Sagonas, Terrance Swift, David S. Warren - 1994