3 ms·The Model Checking Paradigm [video]1 points by dcassett 6y agodcassett 6y agoThe talk begins at 4:45