Science Central - All about Science

Monday, 23 November, 2009
Home  |  Submit Science Site  |  Add to Favorite  |  Contact

search
for
Directories
 
Category:  Science » Math » Logic and Foundations » Software UPDATE URL | REPORT BROKEN LINK

VeriFun

 Popularity:    Hit: 181 | Visit: 5
Details
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.

Sponsored Links:


URL:
Title:
Description:

Category:


Related sites
LWB (Popularity: ): Logics Workbench.
PROTEIN (Popularity: ): A PROver with a Theory Extension INterface. Theorem prover for first-order clause logic, written in ...
Database of Existing Mechanized Reasoning Systems (Popularity: ): A list (>50 entries) of automatic resolution provers (like Otter), interactive provers (like PVS) and ...
Automated Reasoning Project (Popularity: ): Web resource provided by research group. Includes access to software developed by the team, coverering ...
MUltseq (Popularity: ): A generic sequent prover for propositional finitely-valued logics.
MUltlog (Popularity: ): Takes as input the specification of a finitely-valued first-order logic and produces a sequent calculus, ...
Isabelle (Popularity: ): A generic theorem proving environment developed at Cambridge University (Larry Paulson) and TU Munich (Tobias ...
WinKE: A Proof Assistant for Teaching Logic (Popularity: ): WinKE is an interactive proof assistant based on analytic tableaux, and designed for the teaching ...
The Coq Project (Popularity: ): Deals with effectively machine-checked formal mathematics. In practice, this includes the study of mathematical formalisms ...
Logic Software from CSLI (Popularity: ): By Jon Barwise and John Etchemendy.

© 2005-2008 Science Central. All Rights Reserved

Home | Submit Science Site | Add to Favorite | Privacy | Contact