Program Verification with the RISC ProofNavigator

Herwig Schreiner

Program Verification with the RISC ProofNavigator

Herwig Schreiner

Research Institute for Symbolic Computation

Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings › peer-review

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.

Original language	English
Title of host publication	Proceedings of: Teaching Formal Methods: Practice and Experience (at BCS-FACS Christmas Meeting)
Editors	David Duce and Paul Boca
Place of Publication	London, UK
Publisher	British Computer Society
Pages	1-6
Number of pages	6
Publication status	Published - 2006

Publication series

Name	Electronic Workshops in Computing (eWiC)

Fields of science

101 Mathematics
101001 Algebra
101005 Computer algebra
101009 Geometry
101012 Combinatorics
101013 Mathematical logic
101020 Technical mathematics

Cite this

@inproceedings{e3537e68c24f419db3d2fd1229da9f6b,

title = "Program Verification with the RISC ProofNavigator",

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.",

author = "Herwig Schreiner",

year = "2006",

language = "English",

series = "Electronic Workshops in Computing (eWiC)",

publisher = "British Computer Society",

pages = "1--6",

editor = "\{David Duce and Paul Boca\}",

booktitle = "Proceedings of: Teaching Formal Methods: Practice and Experience (at BCS-FACS Christmas Meeting)",

}

Program Verification with the RISC ProofNavigator. / Schreiner, Herwig.
Proceedings of: Teaching Formal Methods: Practice and Experience (at BCS-FACS Christmas Meeting). ed. / David Duce and Paul Boca. London, UK: British Computer Society, 2006. p. 1-6 (Electronic Workshops in Computing (eWiC)).

Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings › peer-review

TY - GEN

T1 - Program Verification with the RISC ProofNavigator

AU - Schreiner, Herwig

PY - 2006

Y1 - 2006

N2 - 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.

AB - 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.

M3 - Conference proceedings

T3 - Electronic Workshops in Computing (eWiC)

SP - 1

EP - 6

BT - Proceedings of: Teaching Formal Methods: Practice and Experience (at BCS-FACS Christmas Meeting)

A2 - David Duce and Paul Boca, null

PB - British Computer Society

CY - London, UK

ER -