|
Sponsored Links:
Formal Methods Europe (FME) (Popularity: )
http://www.fmeurope.org
Worldwide association bringing together researchers and practitioners in formal methods developing computing systems and software.
|
|
Formal Methods - Model Checking (Popularity: )
http://www.cs.cmu.edu/~modelcheck
Model checking is a method for formally verifying finite-state concurrent systems.
|
|
Abstract State Machines: A Formal Method for Specification and Verification (Popularity: )
http://www.eecs.umich.edu/gasm
Project attempting to bridge the gap between formal models of computation and practical specification methods.
|
|
Petri Nets World (Popularity: )
http://www.daimi.au.dk/PetriNets
Provides information on the International Conferences on Application and Theory of Petri Nets, mailing lists, bibliographies, tool databases, newsletters, and addresses.
|
|
Virtual Library: HOL Theroem Prover (Popularity: )
http://www.comlab.ox.ac.uk/archive/formal-methods/hol.html
Document contains some pointers leading to information on the HOL mechanical theorem proving system, based on Higher Order Logic.
|
|
|
Application Specific Higher Order Logic Theroem Proving (PDF) (Popularity: )
http://www.kroening.com/papers/verify2002.pdf
Academic paper, the aim of which is to provide experimental results that compare the performance of the tool discussed on large scale hardware exmaples. PDF file.
|
|
|
Interactive Theorem Proving in Higher-Order Logic (PDF) (Popularity: )
http://www.cs.nott.ac.uk/~lad/MR/lcf_handout.pdf
Outlines the associated paradoxes, functions, and tactics.
|
|
The Higher Order Logic Theorem Prover (Popularity: )
http://cs.anu.edu.au/student/comp8033/hol.html
Paper detailing the HOL, a tool used for assisting in the specification and verification of digital hardware.
|
|
Langley Formal Methods (Popularity: )
http://shemesh.larc.nasa.gov/fm/
Working to advance the state-of-the-art in formal methods, making it practical for use on life-critical systems developed by the aerospace industry in the United States.
|
|
MeijeTools (Popularity: )
http://www-sop.inria.fr/meije/meijetools.html
A set of tools for the automatic verification of parallel and distributed systems.
|