“like that, to describe the expected behavior of the system…” — The Pragmatic Engineer at 52:29
“like that, to describe the expected behavior of the system at a high level, and then use a model checker, which is essentially like a randomized test case generator, to just play through a lot of scenarios and see whether the system has those desired behaviors in all the different scenarios.”
0:00
1:25:00