The Case for Formal Methods: Hillel Wayne
Feeling of Computing
00:00
Theorem Provers vs Model Checkers
Hillel contrasts proving via rigorous arguments with brute-force model checking and when each approach fits.
Play episode from 26:48
Transcript
