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.
Transcript
Play full episode
Hillel contrasts proving via rigorous arguments with brute-force model checking and when each approach fits.
