~lobsters | Bookmarks (12)
-
Some notes on for loops
April 10, 2024 Don't let Alloy facts make your specs a fiction, about formal methods practices...
-
A Sniff Test for Some Query Optimizers
April 1, 2024, 2 p.m. One important part of query planning is performing transformations over queries....
-
What if the spec doesn't match the code?
March 19, 2024, 11:23 a.m. Whenever I talk about formal methods, I get the same question:...