DSSE-TR-2002-5: Proceedings of VCL'2002

Technical Report DSSE-TR-2002-5
Declarative Systems and Software Engineering
Research Group

Proceedings of the Third International Workshop on

Jirí Barnat, Lubos Brim, and Ivana Cerná
Property Driven Distribution of Nested DFS

Full paper:Postscript
Edmund Clarke and Daniel Kroening
Hardware Verification using ANSI-C Programs as a Reference

Full paper:Postscript
Miguel J. Hornos and Manuel I. Capel
On-the-fly Model Checking from Interval Logic Specifications

Full paper:PDF
Jan Friso Groote and Bert Lisser
Computer Assisted Manipulation of Algebraic Process Specifications

Full paper:Postscript
Grigore Rosu and Jonathan Whittle
Towards Certifying Domain-Specific Properties of Synthesized Code

Full paper:PDF
Vlad Rusu, Elena Zinovieva, and Duncan Clarke
Verifying Invariants More Automatically

Full paper:Postscript
Yaroslav S. Usenko
Linearization of μ-CRL Specifications (Extended Abstract)

Full paper:Postscript