Science Central - All about Science

Friday, 10 October, 2008
Home  |  Submit Science Site  |  Add to Favorite  |  Contact

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

Abstract State Machines: A Formal Method for Specification and Verification

 Popularity:    Hit: 373 | Visit: 15
Details
Project attempting to bridge the gap between formal models of computation and practical specification methods.

Sponsored Links:


URL:
Title: Abstract State Machines
Description:

Abstract State Machine Home Page
Category: Specification - Verification - Formal Methods - Abstract State Machines - Evolving Algebras


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