Wikia

Formal Methods Wiki

Random Page Wiki Activity
Watchlist Recent changes

Formal methods

Category page

The main article for this category is Formal methods.


See also: Wikipedia:Category:Formal methods.

“Formal methods are mathematical techniques for developing computer-based software and hardware...
Formal methods
“This document contains some pointers to publications concerning formal methods, especially those...
Publications
“CCS (Calculus of Communicating Systems) is an algebra for specifying and reasoning about...
Who's who
“Please edit this page with information on formal methods companies. Alternatively, please...
Companies
“25 Years of CSP, London, UK, 7–8 July 2004 CPA2004: Communicating Process Architectures 2004,...
CSP
“Formal Methods Projects 1 Individual projects 2 Other lists Please feel free to add formal...
Projects
“Please add or correct links to formal methods on this page. Alternatively, please contact...
Repositories
“CCS (Calculus of Communicating Systems) is an algebra for specifying and reasoning about...
CCS

Subcategories

This category has the following 14 subcategories, out of 14 total.

A

B

C

D

E

M

P

T

V

Z

Pages in category "Formal methods"

The following 19 pages are in this category, out of 19 total.

*

* cont.

A

C

E

F

O

P

R

V
Retrieved from "http://formalmethods.wikia.com/wiki/Category:Formal_methods"

Pages on Formal Methods Wiki

Add a Page
122pages on
this wiki
Advertisement | Your ad here

Latest Photos

Add a Photo
100photos on this wiki
See more >

Recent Wiki Activity

See more >

Around Wikia's network

Random Wiki