Comment on Resource efficient Thread Pools with ZigparentComments−matu3ba4yDrawing them could help figuring out all (invalid) state transitions. Certainly would make a cool drawing.−sn94yUsing a formal methods tool [0] like Alloy [1] would honestly be ideal.[0] https://www.hillelwayne.com/tags/formal-methods/[1] https://www.hillelwayne.com/tags/alloy/
Comments
Drawing them could help figuring out all (invalid) state transitions. Certainly would make a cool drawing.
Using a formal methods tool [0] like Alloy [1] would honestly be ideal.
[0] https://www.hillelwayne.com/tags/formal-methods/
[1] https://www.hillelwayne.com/tags/alloy/