RISC JKU

Publications

Wolfgang Schreiner
The RISC ProofNavigator: A Proving Assistant for Program Verification in the Classroom (PDF).
Formal Aspects of Computing, Springer, April 2008, 15 pages. The original publication is available at www.springerlink.com. DOI 10.1007/s00165-008-0069-4.

Wolfgang Schreiner
Program Verification with the RISC ProofNavigator (PDF)
Teaching Formal Methods: Practice and Experience, BCS-FACS Christmas Meeting, London, UK, December 15, 2006. Electronic Workshops in Computing (eWiC), British Computer Society.

Reports

Wolfgang Schreiner
The RISC ProofNavigator - Tutorial and Manual (PDF)
Technical Report, Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria, July 2006.

Talks

Wolfgang Schreiner.
The RISC ProofNavigator - Third Status Report (PDF)
Presentation in the "Formal Methods" Seminar, Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria, June 1, 2006.

Wolfgang Schreiner.
The RISC ProofNavigator - Second Status Report ( PDF)
Presentation in the "Formal Methods" Seminar, Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria, March 8, 2006.
Updated version of the presentation for the "Theorema" Seminar on March 21, 2006.

Wolfgang Schreiner.
The RISC ProofNavigator - A First Status Report (PDF)
Presentation in the "Formal Methods" Seminar, Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria, November 30, 2005.

Wolfgang Schreiner
Last modified: Fri Apr 4 08:25:37 CEST 2008