author = {Wolfgang Schreiner},
title = {{Program Verification with the RISC ProofNavigator}},
booktitle = {{Teaching Formal Methods: Practice and Experience}},
language = {english},
abstract = {This paper describes the use of the RISC ProofNavigator, an interactive proving assistant for the area of program verification. This assistant has been developed with a focus on simplicity and ease of use; it is intended to be suitable for educational scenarios as well as for realistic applications.},
series = {Electronic Workshops in Computing (eWiC)},
pages = {1--6},
publisher = {British Computer Society},
address = {London, UK, December 15},
isbn_issn = {ISBN},
year = {2006},
editor = {David Duce and Paul Boca},
refereed = {yes},
keywords = {Interactive Proving Assistants, Computer-Aided Verification},
length = {6},
conferencename = {BCS-FACS Christmas Meeting}