Top
:
Science
:
Computer Science
:Formal Methods
Options
Search all of Yahoo
Search only in
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
Explore the Web without your computer!
Click for a Free issue of Yahoo! Internet Life
Copyright © 1994-96 Yahoo! All Rights Reserved.