~lobsters | Bookmarks (4)

April 10, 2024 Don't let Alloy facts make your specs a fiction, about formal methods practices (and a lot of Alloy). Patreon link here. I sometimes like to sharpen the axe by looking at a basic programming concept and seeing what I can pull out. In this case, for loops. There are two basic forms of for loops: for(i ...

March 19, 2024, 11:23 a.m. Whenever I talk about formal methods, I get the same question: Can I use the spec to generate my code? People are worried about two things. One, that they'll make a mistake implementing the specification and have bugs. Two, that over time the implementation will "drift" and people won't up...