RISC-Linz RISC-Linz Research Institute for Symbolic Computation  
about
|
people
|
publications
|
research
|
education
|
industry
|
conferences
|
media
|
projects
internal
  
search:
  
  • @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}
    }