Science Central - All about Science

Sunday, 22 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

The Coq Project

 Popularity:    Hit: 175 | Visit: 4
Details
Deals with effectively machine-checked formal mathematics. In practice, this includes the study of mathematical formalisms well-suited for implementations, the implementations themselves and the use of these for various applications. Focuses on software correctness proofs.

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 ...
Logic Software from CSLI (Popularity: ): By Jon Barwise and John Etchemendy.
ProofPower (Popularity: ): A suite of tools supporting specification and proof in Higher Order Logic (HOL) and in ...

© 2005-2008 Science Central. All Rights Reserved

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