- Formal Methods Europe
- www.fmeurope.org
- 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.
3.5
(si*)
<5
-
6
- Statestep
- statestep.com
- 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.
3.3
(si*)
-
<5
3
The rating value is calculated according to the algorithm, which considers all rating indicators.
As soon as number of users ratings reaches defined level, the rating is to be substituted by the users one.