Science Central - All about Science

Sunday, 19 May, 2013
Home  |  Submit Science Site  |  Add to Favorite  |  Contact

search
for
Directories
 
 
 
 Recent Listings
  The Private Detective
  Elixir International Journal
  The International Journal Of Automotive Engineering And Technologies
  Herald Journal Of Electrical and Electronics Engineering (HJEEE)
  Science and Technology Publishing
  IJPAC- International Journal Of Pure and Applied Chemistry (IJPAB)
  The Advanced Research In Computer Science and Electronics Engineering (IJARCSEE)
  Innovative Drug Discovery Journal
  Current Pharmaceutical and Clinical Research (IJCPCR)
  American Journal Of Phytomedicine and Clinical Therapeutics
 
Category:  Science » Math » Logic and Foundations » Software UPDATE URL | REPORT BROKEN LINK

ProofPower

 Popularity:    Hit: 362 | Visit: 29
Details
A suite of tools supporting specification and proof in Higher Order Logic (HOL) and in Z notation.

Sponsored Links:


URL: http://www.lemma-one.com/ProofPower/index/
Title:
Image:
Description:

Category:


Related sites
LWB (Popularity: ): Logics Workbench.
Database of Existing Mechanized Reasoning Systems (Popularity: ): A list (>50 entries) of automatic resolution provers (like Otter), interactive provers (like PVS) and other mechanized reasoning tools.
Automated Reasoning Project (Popularity: ): Web resource provided by research group. Includes access to software developed by the team, coverering such projects as FINDER (Finite Domain Enumerator), MaGIC (Matrix Generator for Implication Connectives) and Kripke ...
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, a natural deduction system, and clause formation rules for this logic.
Isabelle (Popularity: ): A generic theorem proving environment developed at Cambridge University (Larry Paulson) and TU Munich (Tobias Nipkow). Includes logic, documentation and free download.
WinKE: A Proof Assistant for Teaching Logic (Popularity: ): WinKE is an interactive proof assistant based on analytic tableaux, and designed for the teaching of deductive reasoning. Ordering information is available at this site, as are academic papers on ...
Logic Software from CSLI (Popularity: ): By Jon Barwise and John Etchemendy.
LOOM (Popularity: ): A language and environment for constructing intelligent applications. It is a research project in the Artificial Intelligence research group at the University of Southern California's Information Sciences Institute. The goal ...
PVS (Popularity: ): The PVS Specification and Verification System. Available for Sparc machines with Solaris 2 and Intel x86 Machines with Linux compatible with Redhat 5 or later. Required is Emacs (version 19 ...

© 2005-2010 Science Central. All Rights Reserved

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