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