Asim Ihsan's Meanderings
Formal modeling as a design tool
Jan 18, 2022
is a language and analyzer for formal software modeling. As a way of starting to learn Alloy I model a toy design that I know to be broken: Python pip’s legacy dependency resolution algorithm.