Alloy 6 Examples/Tutorials?

1

Now that Alloy 6 is finally released, will we get an update to the book to cover the new grammar and features, or some tutorials specific to it? Would really help to get my head around the new features properly.

I’d be happy to fund an addendum chapter to the book or put a bounty on some tutorials for nontrivial model examples.

2 Likes
2

Have a look at Formal Software Design with Alloy 6 — Formal Software Design with Alloy 6

4 Likes
3

Indeed, we intend to publish an extended version of these notes as a new book.
We also animated a tutorial at FM’19 on Alloy and Electrum (the predecessor of Alloy 6, so the syntax is slightly different but only marginally).

2 Likes
4

Aiming to have an overview up next week.

1 Like
5

It’s up! Alloy 6: it's about Time • Hillel Wayne

4 Likes
6

Brian Hicks has some examples on his website. Specifically: