Post #1460848
2025-12-28 01:19 UTC
@cwg1231 @deliverator It’s just so weird how many software people have never heard of formal verification, and have no idea that you can write software which is provably free of implementation bugs.
On top of this, software doesn’t decay like a bridge! It doesn’t wear out like an engine does. Once it’s correct, it’s correct forever (or at least until the specification changes)! That’s should be huge! To me, the fact this isn’t even widely known—let alone striven for—is a sign of how unserious the software industry at large is.
Replies (1)
-
@deliverator@infosec.exchange 2025-12-28 01:33
@bob_zim @cwg1231 I don't want to rain on the formal verification parade. I think it could be an important piece of the puzzle! But I don't think it's a silver bullet. Plus it doesn't solve the human communication piece of things, which is where this thread started.