Science Central - All about Science

Monday, 8 September, 2008
Home  |  Submit Science Site  |  Add to Favorite  |  Contact

search
for
Directories
 
Category:  Science » Computer Science » Formal Methods UPDATE URL | REPORT BROKEN LINK

Interactive Theorem Proving in Higher-Order Logic (PDF)

 Popularity:    Hit: 267 | Visit: 7
Details
Outlines the associated paradoxes, functions, and tactics.


Sponsored Links:


URL:
Title:
Description:

Science Central - 4539731 - Outlines the associated paradoxes, functions, and tactics.
Category:


Related sites
Abstract State Machines: A Formal Method for Specification and Verification (Popularity: ): Project attempting to bridge the gap between formal models of computation and practical specification methods.
Petri Nets World (Popularity: ): Provides information on the International Conferences on Application and Theory of Petri Nets, mailing lists, ...
Formal Methods Europe (FME) (Popularity: ): Worldwide association bringing together researchers and practitioners in formal methods developing computing systems and software.
CSP Archive (Popularity: ): Contains information relevant to the process algebra CSP (Communicating Sequential Processes.)

Virtual Library: Formal Methods (Popularity: ): Points to sites containing information on formal methods, useful for mathematically describing and reasoning about ...
First-Order Proof Tactics in Higher-Order Logic Theorem Provers (Popularity: ): Paper evaluating the effectiveness of first-order proof procedures when used as tactics for proving subgoals ...
Application Specific Higher Order Logic Theroem Proving (PDF) (Popularity: ): Academic paper, the aim of which is to provide experimental results that compare the performance ...
Virtual Library: HOL Theroem Prover (Popularity: ): Document contains some pointers leading to information on the HOL mechanical theorem proving system, based ...
Formal Methods - Model Checking (Popularity: ): Model checking is a method for formally verifying finite-state concurrent systems.

International Conference on Computer Aided Verification (Popularity: ): Series of conferences dedicated to the theory and practice of computer aided formal analysis methods ...

© 2005-2008 Science Central. All Rights Reserved

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