Dipartimento di Informatica e Scienze dell'Informazione
Publications on Contraint Logic Programming
G. Delzanno.
Verification of Consistency Protocols via Infinite-state Symbolic Model Checking - A Case Study -
Technical Report DISI-00-05, March 2000.
(
postscript)
G. Delzanno.
On Efficient Data Structures for the Verification of Parameterized Synchronous Systems.
Technical Report DISI-00-03, Juanuary 2000.
(
postscript)
G. Delzanno.
Automatic Verification of Parameterized Cache Coherence Protocols.
Technical Report DISI-00-01, Juanuary 2000.
(
postscript)
G. Delzanno,
A. Podelski.
Constraint-based Deductive Model Checking.
Journal of Software and Tools for Technology Transfer (to appear).
(
postscript)
G. Delzanno,
J.-F. Raskin.
Symbolic Representation of Upward-closed Sets.
In Proceedings of TACAS 2000.
(
postscript)
G. Delzanno,
J. Esparza,
A. Podelski.
Constraint-based Analysis of Broadcast Protocols.
In Proceedings of CSL'99.
(
postscript)
G. Delzanno,
A. Podelski.
Verification of Infinite-state Concurrent Systems in Constraint Logic Programming.
In Proceedings of JFPLP'99.
(
postscript)
G. Delzanno,
A. Podelski.
Model Checking in CLP.
In Proceedings of TACAS'99.
(
postscript)
back to LP group Home Page
Please send suggestions and comments to:
Marco Bozzano: bozzano@disi.unige.it
Last Updated: 29 June 2000