The Best of Model Checking

Workshop in Honor of Orna Grumberg