Verifun

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

=Reference:=