|
|
Statestep (Popularity: )
http://statestep.com
A lightweight, systematic method for finite state machine specification: a tool includes interactive checking and a kind of spreadsheet for ...
|
|
Formal Methods Europe (Popularity: )
http://www.fmeurope.org/
An organisation with the mission of promoting and supporting the industrial use of formal methods for computer systems development. The ...
|
|
|