Computer Science > Formal Methods  Directory > Science > Computer Science > Formal Methods

	Search		all sites this category only UK only Ireland only			advanced search  suggest a site

CATEGORIES Higher-Order Logic Theorem Provers (5) Institutes (2) Verification (3) SITE LISTINGS Alphabetical  |  By Popularity 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. CSP Archive - Contains information relevant to the process algebra CSP (Communicating Sequential Processes.) Formal Methods Europe (FME) - Worldwide association bringing together researchers and practitioners in formal methods developing computing systems and software. Hypertext Bibliography of Measures of Complexity - Coveres some of the philosophical and practical references to the concept and measurement of complexity. 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 Virtual Library: Formal Methods - Points to sites containing information on formal methods, useful for mathematically describing and reasoning about computer-based systems.

	Search		all sites this category only UK only Ireland only

Directory > Science > Computer Science > Formal Methods

---