|
|
|
|
|
|
by DowsingSpoon
459 days ago
|
|
|
That is fascinating. Thank you! Is it necessary to be able to exhaustively enumerate states? I remember a project I worked on some years ago which had me sketching out a statechart for a system which was not structured as an explicit FSM. The end result was surprisingly complex. I imagine some systems might even have an unbounded number of “states.” I’ll definitely read more about Alloy too. |
|
|