The Model Checking Paradigm [video] | Hacker News Reader