Post #2985136
2026-05-12 03:16 UTC
@bignose@social.chinwag.org @stilgherrian@eigenmagic.net There’s always formal verification, which proves the software does everything in the specification and nothing which isn’t in the specification. At that point, the specification can have issues or limitations, but those aren’t really software bugs.
Replies (1)
-
@bignose@social.chinwag.org 2026-05-12 03:19
@bob_zim@infosec.exchange, I would bet money that no system which does something of interest to @stilgherrian@eigenmagic.net has been formally verified to the complete degree you say. Which is why my description includes the requirement that the software does something people are interested in. Yes, there might exist formally-verified systems with no detectable bugs; but likely that doesn't describe any system we directly use.