I know this was quick
My goal isn’t to make you into model checking experts
- But it might titillate one or two of you to learn more
But rather to understand the sketches of what model checking is and why it is so promising for checking some classes of specifications