Post #1546592
2026-04-15 23:21 UTC
@GeorgWeissenbacher of course I agree that formal verification adds value. the reason I do these kinds of posts is that I try to fight against the perception that formal verification has some inherent meaning. people portray it as being some sort of ironclad guarantee. so I think that maybe, perception-wise, you and I are trying to combat opposite misconceptions
Replies (1)
-
@regehr@mastodon.social 2026-04-15 23:22
@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)