|
About the models category
|
|
0
|
296
|
August 10, 2020
|
|
Working on an Alloy Model for Protocol Specification in Web Security
|
|
0
|
59
|
July 3, 2026
|
|
Working with integers to solve math puzzles
|
|
3
|
169
|
April 23, 2025
|
|
A real-world success story
|
|
12
|
653
|
August 1, 2024
|
|
Solution to farmer puzzle using Alloy 6 temporal primitives
|
|
8
|
664
|
April 2, 2024
|
|
A compendium of predicates
|
|
0
|
147
|
March 29, 2024
|
|
Model of Jackson-Zave Turnstile Example
|
|
1
|
187
|
March 16, 2024
|
|
Modeling a key-value-store with snapshot isolation
|
|
8
|
485
|
July 23, 2023
|
|
Checking a function
|
|
6
|
358
|
June 20, 2023
|
|
Having events ordered in event reification
|
|
3
|
411
|
January 16, 2023
|
|
A ternary relation question
|
|
5
|
440
|
December 26, 2022
|
|
Can't get a model to change with time [Electrum]
|
|
15
|
908
|
December 19, 2022
|
|
How to solve a database exercise
|
|
1
|
447
|
November 3, 2022
|
|
Performance issue with a relatively small application domain
|
|
11
|
759
|
April 15, 2022
|
|
Feedback / improvements for the 5-houses puzzle model
|
|
3
|
371
|
March 21, 2022
|
|
AlloyTools/models/algorithms/echo
|
|
5
|
505
|
March 8, 2022
|
|
Modeling Natural Deduction Derivations
|
|
3
|
415
|
December 13, 2021
|
|
DieHard in Electrum
|
|
11
|
670
|
June 25, 2021
|
|
A simple message delivery model
|
|
2
|
594
|
December 23, 2020
|
|
Tip: concrete functions
|
|
7
|
493
|
October 2, 2020
|
|
Modelling a countdown (or timeout)
|
|
4
|
500
|
September 24, 2020
|
|
Tip: Name facts with strings
|
|
3
|
446
|
September 22, 2020
|
|
A tip for working with complex models
|
|
17
|
1198
|
September 22, 2020
|
|
Modelling a vehicle locking system
|
|
20
|
817
|
September 11, 2020
|
|
Time in Electrum
|
|
16
|
698
|
August 28, 2020
|
|
How would you make this git objects model more idiomatic?
|
|
2
|
744
|
August 25, 2020
|
|
How to say "these should not be equal"
|
|
3
|
454
|
August 24, 2020
|
|
What's happening?
|
|
0
|
313
|
August 18, 2020
|
|
No instances of Tree—why?
|
|
3
|
696
|
August 13, 2020
|