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
- 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