Skip to search.
Make Y! My Homepage
Visit Yahoo! News for the latest.
Close this window
Computer Science > Formal Methods
Email this page
Suggest a Site
Higher-Order Logic Theorem Provers
1 - 6
WWW Virtual Library: Formal Methods
Points to sites containing information on formal methods, useful for mathematically describing and reasoning about computer-based systems.
Formal Methods Europe (FME)
Worldwide association bringing together researchers and practitioners in formal methods developing computing systems and software.
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.
Petri Nets World
Provides information on the International Conferences on Application and Theory of Petri Nets, mailing lists, bibliographies, tool databases, newsletters, and addresses.
Hypertext Bibliography of Measures of Complexity
Coveres some of the philosophical and practical references to the concept and measurement of complexity.
Contains information relevant to the process algebra CSP (Communicating Sequential Processes.)
Help us improve the Yahoo! Directory -
Share your ideas