Computers » Programming » Languages » Specification	UPDATE INFO | REPORT BROKEN LINK
Statestep	Popularity:    Hit: 718

Details:

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. URL: http://statestep.com Title: Statestep Image: Description: Enables you to systematically consider millions of possibilities. Specialized in: Requirements - Embedded Systems - Models - Testing - Combinations - Combinatorial

Related Sites

Formal Methods Europe (Popularity: ): An organisation with the mission of promoting and supporting the industrial use of formal methods for computer systems development. The ... Computation Structures Group: CSG (Popularity: ): MIT research group which does dataflow programming research.

Popular Sites

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