Hi. Alloy 6 co-author here. We've been writing a tutorial/book (which we hope to publish on paper too), you may find its contents interesting: https://haslab.gi

Hi. Alloy 6 co-author here. We've been writing a tutorial/book (which we hope to publish on paper too), you may find its contents interesting: https://haslab.github.io/formal-software-design/ https://haslab.github.io/formal-software-design/