Science/Computer Science/Formal Methods - Pora.biz

Home : Science : Computer Science : Formal Methods

CATEGORIES:

Higher-Order Logic Theorem Provers (5)

Institutes (2)

Verification (2)

LINKS:

Abstract State Machines: A Formal Method for Specification and Verification ^pop
Project attempting to bridge the gap between formal models of computation and practical specification methods.
http://www.eecs.umich.edu/gasm/
(Rating: 0.00 Votes: 0) Rate It Review It

CSP Archive
Contains information relevant to the process algebra CSP (Communicating Sequential Processes.)
http://www.afm.lsbu.ac.uk/csp/
(Rating: 0.00 Votes: 0) Rate It Review It

Formal Methods Europe (FME)
Worldwide association bringing together researchers and practitioners in formal methods developing computing systems and software.
http://www.fmeurope.org/
(Rating: 0.00 Votes: 0) Rate It Review It

Hypertext Bibliography of Measures of Complexity
Coveres some of the philosophical and practical references to the concept and measurement of complexity.
http://www.cpm.mmu.ac.uk/~bruce/combib/
(Rating: 0.00 Votes: 0) Rate It Review It

Petri Nets World
Provides information on the International Conferences on Application and Theory of Petri Nets, mailing lists, bibliographies, tool databases, newsletters, and addresses.
http://www.daimi.au.dk/PetriNets/
(Rating: 0.00 Votes: 0) Rate It Review It

WWW Virtual Library: Formal Methods
Points to sites containing information on formal methods, useful for mathematically describing and reasoning about computer-based systems.
http://www.afm.sbu.ac.uk/
(Rating: 0.00 Votes: 0) Rate It Review It

Š2003-2006 Pora.biz All Rights Reserved.