A semi-automated system for the verification of statements about programs written in a functional programming language. The system is capable of following fully-automated routines for theorem proving and hypotheses formation, as well as operating interactively when these reoutines fail.
Authored by
at
, Added: Mar 8, 2004
http://www.informatik.tu-darmstadt.de/pm/verifun/
