3 ms·
This is the first four-state-machine thread algorithm. And I like what I am seeing. Hopefully all transitions between states have been tested. Good work.
by egberts1 5y ago
This is the first four-state-machine thread algorithm.
And I like what I am seeing. Hopefully all transitions between states have been tested.
Good work.
- matu3ba 5y agoDrawing them could help figuring out all (invalid) state transitions. Certainly would make a cool drawing.
- sn9 5y agoUsing a formal methods tool [0] like Alloy [1] would honestly be ideal. [0] https://www.hillelwayne.com/tags/formal-methods/ https://www.hillelwayne.com/tags/formal-methods/ [1] https://www.hillelwayne.com/tags/alloy/ https://www.hillelwayne.com/tags/alloy/