Verification = TCB/PB Reduction

What does it mean if somebody claims that their software is formally verified? 1. Verification as we learn in high school In high-school maths, we are introduced to the idea of a proof — the word “proof” is etymologically related to the word “probe”. In a proof, we reason from first principles (aka axioms), whyContinue reading “Verification = TCB/PB Reduction”