Specification (Subscribe)
Links
Formal Methods EuropeAn organisation with the mission of promoting and supporting the industrial use of formal methods for computer systems development. The site contains information on formal methods and on FME itself.
|
The WWW Virtual Library: Formal MethodsPointers to information on Formal Methods, useful for mathematically describing and reasoning about computer-based systems.
|