Homepage of Søren T. Heilmann

Isabelle/DC: Proof Assistant for Duration Calculus

• Information on Isabelle/DC is available here.

PC/DC: The Proof Checker for Duration Calculus

Publications

• Søren T. Heilmann

Proof Support for Duration Calculus
Department of Information Technology, Technical University of Denmark, PhD-thesis, January 1999.
Postscript, CD-ROM
• Søren T. Heilmann

The Steam Boiler, a Case Study in Proof Support
Proceedings of European Summer School in Logic, Language and Information (ESSLLI'98), Saarbruecken, Germany , August 1998
• Søren T. Heilmann

PC/DC Users Guide
• Thomas J. Eriksen, Søren T. Heilmann, Michael Holdgaard and Anders P. Ravn

Hybrid Systems: A Real-Time Interface to Control Engineering
Proceedings of Euromicro 96 Workshop on Real-Time Systems, L'Aquila, Italy, June 1996
• Søren T. Heilmann

A Proof Tool for the Duration Calculus: Theory and Application
Presented at Workshop on Tool Support for System Development and Verification, Bremen, Germany, June 1996

---

Søren Heilmann, e-mail:sth@sth.dk, last modified:2001-9-24