01:41:34
The Great Security Update: AI ∧ Formal Methods with Kathleen Fisher of RAND & Byron Cook of AWS
Formal verification — the mathematical discipline of proving software correctness — has historically lived at the intersection of aca...