Statestep

Statestep
All Links

Share this:

Details of Statestep

About Statestep
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.
Sisal