
The Case for Formal Methods: Hillel Wayne
Feeling of Computing
00:00
What 'Irrefutable' Proofs Actually Mean
Hillel qualifies irrefutability by assumptions about tool correctness, completeness of requirements, and real-world failures.
Play episode from 20:48
Transcript


