Universiteit Gent Instituut voor Programmatuurkunde en Algoritmiek

Fifth Dutch Proof Tool Day

University of Ghent

May 26, 2000


P R O C E E D I N G S

List of participants
[ dvi | ps | pdf ]

Peter Schmitt & Bernhard Beckert, University of Karlsruhe, Germany
``KeY, a new tool for the specification and verification of software.''
[ ps.gz 466KB ]

Jozef Hooman, Nijmegen University, Holland
``Verification of concurrency control protocols with PVS''
[ ps.gz 78KB ]

Pieter Audenaert, University of Gent, Belgium
``Memory modeling in PVS''
[ Slides 40KB ] [ Full text ]

Freek Wiedijk, Nijmegen University, Holland
``Mizar, a not very well known proof tool''

Dirk Van Heule, University of Gent, Belgium
``Three-valued logic and Isabelle: the problems.''
[ ps.gz 58KB ]

Olga Caprotti & Martijn Oostdijk, Technische Universiteit Eindhoven, Holland
``How to formally and efficiently prove primality of large numbers''