
The Case for Formal Methods: Hillel Wayne
Feeling of Computing
00:00
When to Apply Formal Methods Practically
Hillel provides heuristics: weigh failure cost and risk, and explains design verification often pays off to avoid production fires.
Transcript
Play full episode