RISC RISC Research Institute for Symbolic Computation  
  • @inproceedings{RISC2993,
    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}