Science Central - All about Science

Saturday, 26 July, 2008

search

for
Directories
 
Category:  Science » Computer Science » Formal Methods SUBMIT A SITE

Formal Methods

Order by  Popularity  |  Alphabet
Sites Records 1-11 of 11
 
Sponsored Links:

Formal Methods Europe (FME) (Popularity: )

Worldwide association bringing together researchers and practitioners in formal methods developing computing systems and software.

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, ...

CSP Archive (Popularity: )

Contains information relevant to the process algebra CSP (Communicating Sequential Processes.)

Virtual Library: HOL Theroem Prover (Popularity: )

Document contains some pointers leading to information on the HOL mechanical theorem proving system, based ...

Virtual Library: Formal Methods (Popularity: )

Points to sites containing information on formal methods, useful for mathematically describing and reasoning about ...

International Conference on Computer Aided Verification (Popularity: )

Series of conferences dedicated to the theory and practice of computer aided formal analysis methods ...

Formal Methods - Model Checking (Popularity: )

Model checking is a method for formally verifying finite-state concurrent systems.

Interactive Theorem Proving in Higher-Order Logic (PDF) (Popularity: )

Outlines the associated paradoxes, functions, and tactics.

Application Specific Higher Order Logic Theroem Proving (PDF) (Popularity: )

Academic paper, the aim of which is to provide experimental results that compare the performance ...

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

 
 

© 2005-2008 Science Central. All Rights Reserved