25 Years of Model Checking | lit.salon