# Alloy 6 Examples/Tutorials?

**URL:** <https://alloytools.discourse.group/t/alloy-6-examples-tutorials/199>\
**Category:** Uncategorized\
**Created:** [November 22, 2021, 12:58am UTC](https://alloytools.discourse.group/t/alloy-6-examples-tutorials/199 "2021-11-22T00:58:34Z")\
**Posts on this page:** 6\
**Page:** 1

<div class="post-metadata">

**Author:** ![mattdf](https://yyz2.discourse-cdn.com/free1/user_avatar/alloytools.discourse.group/mattdf/32/87_2.png) [@mattdf](https://alloytools.discourse.group/u/mattdf)\
**Post date:** [November 22, 2021, 12:58am UTC](https://alloytools.discourse.group/t/alloy-6-examples-tutorials/199/1 "2021-11-22T00:58:34Z")

</div>

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.

---

<div class="post-metadata">

**Author:** ![esb-dev](https://yyz2.discourse-cdn.com/free1/user_avatar/alloytools.discourse.group/esb-dev/32/63_2.png) [@esb-dev](https://alloytools.discourse.group/u/esb-dev)\
**Post date:** [November 22, 2021, 7:35am UTC](https://alloytools.discourse.group/t/alloy-6-examples-tutorials/199/2 "2021-11-22T07:35:43Z")

</div>

Have a look at [Formal Software Design with Alloy 6 — Formal Software Design with Alloy 6](https://haslab.github.io/formal-software-design/index.html)

---

<div class="post-metadata">

**Author:** ![grayswandyr](https://yyz2.discourse-cdn.com/free1/user_avatar/alloytools.discourse.group/grayswandyr/32/17_2.png) [@grayswandyr](https://alloytools.discourse.group/u/grayswandyr)\
**Post date:** [November 22, 2021, 1:13pm UTC](https://alloytools.discourse.group/t/alloy-6-examples-tutorials/199/3 "2021-11-22T13:13:06Z")

</div>

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

---

<div class="post-metadata">

**Author:** ![hwayne](https://yyz2.discourse-cdn.com/free1/user_avatar/alloytools.discourse.group/hwayne/32/67_2.png) [@hwayne](https://alloytools.discourse.group/u/hwayne)\
**Post date:** [November 22, 2021, 4:42pm UTC](https://alloytools.discourse.group/t/alloy-6-examples-tutorials/199/4 "2021-11-22T16:42:33Z")

</div>

Aiming to have an overview up next week.

---

<div class="post-metadata">

**Author:** ![hwayne](https://yyz2.discourse-cdn.com/free1/user_avatar/alloytools.discourse.group/hwayne/32/67_2.png) [@hwayne](https://alloytools.discourse.group/u/hwayne)\
**Post date:** [November 30, 2021, 10:18pm UTC](https://alloytools.discourse.group/t/alloy-6-examples-tutorials/199/5 "2021-11-30T22:18:20Z")

</div>

It’s up! [Alloy 6: it's about Time • Hillel Wayne](https://www.hillelwayne.com/post/alloy6/)

---

<div class="post-metadata">

**Author:** ![Seanny123](https://yyz2.discourse-cdn.com/free1/user_avatar/alloytools.discourse.group/seanny123/32/174_2.png) [@Seanny123](https://alloytools.discourse.group/u/Seanny123)\
**Post date:** [April 3, 2023, 4:21pm UTC](https://alloytools.discourse.group/t/alloy-6-examples-tutorials/199/6 "2023-04-03T16:21:12Z")

</div>

Brian Hicks has some examples on his website. Specifically:

- [Modelling Database Tables](https://bytes.zone/posts/modeling-database-tables-in-alloy/)
- [Modelling Git Internals](https://bytes.zone/posts/modeling-git-internals-in-alloy-part-1-blobs-and-trees/)