Post #1546593
2026-04-15 23:22 UTC
@GeorgWeissenbacher (and of course I know that people exaggerate the meaning of formal methods in both directions. it's just that I personally I find the overselling more harmful to the field, compared to people who minimize its utility)
Replies (1)
-
@lindsey@recurse.social 2026-04-16 08:42
@regehr @GeorgWeissenbacher Do you know this neat paper from UW folks a few years back about finding bugs "in" verified distributed systems? I really like it. (you won't be surprised at all to hear that the bugs were all in the interfaces between verified and non-verified components and had to do with incorrect assumptions) https://al.radbox.org/doi/10.1145/3064176.3064183