Verifun

From MathWeb

Jump to: navigation, search

VeriFun is a semi-automated system for the verification of statements about programs written in the functional programming language L.

Reference:

Retrieved from "http://www.mathweb.org/wiki/Verifun"
Facts about VerifunRDF feed
Homepagehttp://www.inferenzsysteme.informatik.tu-darmstadt.de/verifun/  +
Personal tools
MathWeb
Structures