3 ms·
Formal methods is like a plan. Everyone has one until they are punched in the face (real world requirements and trust boundaries).
by jp0001 4mo ago
Formal methods is like a plan. Everyone has one until they are punched in the face (real world requirements and trust boundaries).
- Paracompact 4mo agoFormal methods are not meant to replace trust in a system. They are meant to minimize the surface area of trust. To not understand and advertise what surface area still exists is foolhardy, and mistakes logic for magic.
- angry_octet 4mo agoIncredibly uninformed comment. The formally verified part is the high confidence component that is the anvil to hammer out bugs in the unverified components.