author = {Wolfgang Schreiner},
title = {{The RISC ProgramExplorer: Tutorial and Manual}},
language = {english},
abstract = {This document describes the use of the RISC ProgramExplorer, an interactive
program reasoning environment that is under development at the Research
Institute for Symbolic Computation (RISC). The current version is a first
demonstrator skeleton that incorporates the overall technological and semantic
framework (programming language and formal specification language) and
integrates the RISC ProofNavigator as an interactive proving assistant. Work
is going on to provide this skeleton with the envisioned program reasoning
capabilities. The software runs on computers with x86-compatible processors
under the GNU/Linux operating system; it is freely available under the terms
of the GNU GPL.},
number = {10-23},
year = {2010},
month = {April},
keywords = {formal methods, program specification, program verification},
length = {74},
type = {RISC Report Series},
institution = {Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz},
address = {Schloss Hagenberg, 4232 Hagenberg, Austria}