Statestep
statestep.comA 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.
Rate This Site
Embed Badge
Place this code on your website to show you're listed here.