DSSE-TR-2001-3: Proceedings of VCL'2000

Technical Report DSSE-TR-2001-3
Declarative Systems and Software Engineering
Research Group

Proceedings of the Second International Workshop on

"Introduction, Programme, and Table of Contents"
Full Text: Postscript (gzipped)

Giorgio Delzanno
Constraint-based Verification: Techniques and Applications
Slides: Postscript (gzipped) References Postscript (gzipped)

Ranko Lazic, Tom Newcomb, and Bill Roscoe
"On model checking data-independent systems with arrays"
Pages 1-3.
Full Paper: Postscript (gzipped)
Bill Roscoe and Ranko Lazic
"What can you decide about initialised arrays ?"
Pages 5-23
Full Paper: Postscript (gzipped)
Dan Ghica
"A Regular-Language Model for Hoare-Style Correctness Statements"
Pages 25-42
Full Paper: Postscript (gzipped)
Carla Piazza and Alberto Policriti
"Ackermann Encoding, Bisimulations, and OBDD's"
Pages 43-53
Full Paper: Postscript (gzipped)
Massimo Franceschet and Angelo Montanari
"Towards an automata-theoretic counterpart of combined temporal logics"
Pages 55-74
Full Paper: Postscript (gzipped)
Baudouin Le Charlier, Sabina Rossi, and Agostino Cortesi
"A Domain for the Abstract Interpretation of Logic Programs with Dynamic Scheduling"
Pages 75-84
Full Paper: Postscript (gzipped)
Fabio Fioravanti, Alberto Pettorossi, and Maurizio Proietti
"Verifying CTL Properties of Infinite-State Systems by Specializing Constraint Logic Programs"
Pages 85-96
Full Paper: Postscript (gzipped)
Michael Leuschel, Laksono Adhianto, Michael Butler, Carla Ferreira, and Leonid Mikhailov
"Animation and Model Checking of CSP and B using Prolog Technology"
Pages 97-109
Full Paper: Postscript (gzipped, with pictures) Postscript (gzipped, without pictures)