The Case for Formal Methods: Hillel Wayne
Feeling of Computing
00:00
Limits of Code Verification Today
Hillel argues code verification remains expert-heavy and unlikely to be mainstream soon, while specification can be broader.
Transcript
Play full episode
