learning Alloy

I've been an on-and-off user of Alloy for several years now, but after switching teams at NoRedInk I decided to start modeling all our new projects in it and teaching my colleagues how to as well. This has been really interesting work! Modeling with Alloy has frequently meant finding out about edge cases in our thinking (or in some cases, finding out we were totally wrong.)

Updates

2023

modeling CRDTs in Alloy - counters, November 27, 2023

modeling CRDTs in Alloy - introduction and the importance of idempotence, October 9, 2023

Modeling in-flight requests in Alloy, October 2, 2023

once p is true, it's always true, August 28, 2023

Modeling Git Internals in Alloy, Part 3: Operations on Blobs and Trees, April 24, 2023

Modeling Git Internals in Alloy, Part 2: Commits and Tags, April 10, 2023

Modeling Git Internals in Alloy, Part 1: Blobs and Trees, April 3, 2023

how to add weak fairness on actions, March 6, 2023

give aliases when inverting relations, February 27, 2023

fields as sets, February 13, 2023

What does expect 1 mean in Alloy?, January 30, 2023

The Value of a Model is More Making than Having, January 9, 2023

Modeling Database Tables in Alloy, January 2, 2023

2022

Alloy, December 12, 2022