Top:Science:Computer Science:Formal Methods

• Higher-Order Logic Theorem Provers (3)
• Institutes (5)
• Verification (2)

• CSP Archive - contains information relevant to the process algebra CSP (Communicating Sequential Processes)
• Evolving Algebras - general-purpose specification and validation methodology for hardware and software systems. Logic programming and WAM.
• Hypertext Bibliography of Complexity Measures
• Petri Nets - a formal graphical notation for modelling systems with concurrency
• Index - Formal Method Sites
• Index - Formal Methods - WWW Virtual Library