Post #1546590
2026-04-15 14:37 UTC
@GeorgWeissenbacher yes, I understand the situation, and I don't think that splitting hairs between verification and validation is all that helpful here
Replies (1)
-
@GeorgWeissenbacher@fediscience.org 2026-04-15 21:24
@regehr yes, but it is also important that people understand what verification means (and yes, I know you do), also to manage expectations. You can only verify code against some specification or requirements. If that specification is incomplete, then so are your guarantees. Formally verified doesn't mean bug free, unless you have fully formalized what bug free means (which is next to impossible, if you think of security vulnerabilities such as side channel attacks). Formal verification still improves the situation, so we are better off with "formally verified" code than without.