Science Central - All about Science

Sunday, 12 October, 2008
Home  |  Submit Science Site  |  Add to Favorite  |  Contact

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

Formal Methods Europe (FME)

 Popularity:    Hit: 389 | Visit: 10
Details
Worldwide association bringing together researchers and practitioners in formal methods developing computing systems and software.

Sponsored Links:


URL:
Title: Formal Methods Europe
Description:

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