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''