AtomSeek the directory or science  

Math: Logic and Foundations: Software: VeriFun


  Home: Math: Logic and Foundations: Software:
Submitted: Sat Sep 06 2003
Title:

Math: Logic and Foundations: Software: VeriFun


URL: http://www.informatik.tu-darmstadt.de/pm/verifun/

 

Description: 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.


Detailed Traffic Statistic From Alexa
Detailed Traffic Statistic From Alexa

 
  Previous      Next

  HOME | ADD A LINK | MODIFY A LINK | LOGIN


Open forum for all scientific topics!
Excellent source of information to study.
This forum is place to talk with interesting people


atomseek.com
Webmaster - miroweb.com