- Abstract State Machines: A Formal Method for Specification and Verification
Project attempting to bridge the gap between formal models of computation and practical specification methods.
www.eecs.umich.edu/gasm
- CSP Archive
Contains information relevant to the process algebra CSP (Communicating Sequential Processes.)
www.afm.lsbu.ac.uk/csp
- Formal Methods Europe (FME)
Worldwide association bringing together researchers and practitioners in formal methods developing computing systems and software.
www.fmeurope.org
- Hypertext Bibliography of Measures of Complexity
Coveres some of the philosophical and practical references to the concept and measurement of complexity.
www.cpm.mmu.ac.uk/~bruce/combib
- Petri Nets World
Provides information on the International Conferences on Application and Theory of Petri Nets, mailing lists, bibliographies, tool databases, newsletters, and addresses.
www.daimi.au.dk/PetriNets
- WWW Virtual Library: Formal Methods
Points to sites containing information on formal methods, useful for mathematically describing and reasoning about computer-based systems.
www.afm.sbu.ac.uk
|
Help us improve the Yahoo! Directory -