~lobsters | Bookmarks (2)
-
Don't let Alloy facts make your specs a fiction
I’ve recently done a lot of work in Alloy and it’s got me thinking about a...
-
The World and the Machine
This is just a way of thinking about formal specification that I find really useful. The...