grayswandyr

3 ms·

1. 1.▲
   by grayswandyr 2y ago

   Hi, I'm one of the authors this book and of version 6 of Alloy. Happy to answer any question.
2. 2.▲
   by grayswandyr 3y ago

   Hi thanks for the nice example. Unfortunately seems like you need an account on Innoq's Gitlab server to retrieve the examples?
3. 3.▲
   by grayswandyr 5y ago

   I don't know Iris well but the logical setting and aims are completely different. Iris' primary application is proving safety properties of concurrent programs, with the possibility to express fine properties about memory thanks t
4. 4.▲
   by grayswandyr 5y ago

   Regarding "moving" data in the Visualizer, I also wish we had a better situation (the problem already existed with older versions of Alloy). We've made several experiments to enhance the visualization of two different states
5. 5.▲
   by grayswandyr 5y ago

   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/
6. 6.▲
   by grayswandyr 5y ago

   Hi, I'm one of the authors of this new version of Alloy (which was code-named Electrum for some years): if you have any question, please do not hesitate to ask. Indeed, Alloy is a model finder and you must bound the size of considered