Post #1546532
2026-04-14 06:04 UTC
@regehr @dpiponi If I've understood it correctly, formal verification can prove that two things are equivalent. It doesn't prove that either of them is the thing you want.
Replies (1)
-
@regehr@mastodon.social 2026-04-14 14:11
@mansr @dpiponi one of the dirty little secrets is that formal specifications are really difficult artifacts to deal with -- in fact they can be more difficult than code...