Programming Languages
|
Programming Languages
|
|
| Languages > Specification |
| Categories |
|
CLU Z |
|
| Formal Methods Europe
An 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 Methods
Pointers to information on Formal Methods, useful for mathematically describing and reasoning about computer-based systems. |
| Statestep
A lightweight, systematic method for finite state machine specification: a tool includes interactive checking and a kind of spreadsheet for invariants; it also supports decision tables and combinatorial completion. |
The content of the websy directory is based on the Open Directory and is enhanced using Websy's own technology.
Copyright © 2002-2006, websy.net All Rights Reserved.