5 ms·
Drawing them could help figuring out all (invalid) state transitions. Certainly would make a cool drawing.
by matu3ba 5y ago
Drawing 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/