Download VeriFun User Guide

About VeriFun
X
This document describes how to operate the eriFun system. Formal
background is provided only to the extend necessary for a proper use of
the system. A system user should be familiar with the basic concepts and
notions of mathematical logic, formal methods and theorem proving.
X
This document is organized analogue to the menu-structure of eriFun
to ease the navigation when searching for help. It is not a tutorial or a
scientific report. Instead it is designed as an online reference manual
(with hyperlinks indicated in blue) and therefore contains repetitions but
no explanations other than required to operate the system and gain
maximal use of it.
X
Novices to eriFun are recommended to read
• About VeriFun,
• About File,
• About Program,
• About Proof,
• About Evaluation, and
• About Window
X
and also The eriFun Tutorial before beginning to work with the system.
The system, installation information and The eriFun Tutorial can be
obtained from
X
http://www.informatik.tu-darmstadt.de/pm/verifun/ .
Since this document underlies a permanent revision, this web-page
should be also visited to see whether a more recent version exists. Questions, comments and critique may be directed to
[email protected] .
X
This document does not apply to versions older than eriFun 2.5.5.
1