3 ms·
Using 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/f
by sn9 5y ago
Using 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/