Verified Software

Software accompanied by mathematical proofs checked by computer-assisted tools (like Lean) to rule out specific classes of bugs.