Computer Science > Formal Methods

INSIDE YAHOO!


Join a Chat Headline News	Weather

CATEGORIES

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.

SPONSOR RESULTS (Become a Sponsor)

SPONSOR RESULTS