25 Years of Model Checking

Volume 5000 of the series Lecture Notes in Computer Science pp 1-26

The Birth of Model Checking

  • Edmund M. ClarkeAffiliated withDepartment of Computer Science, Carnegie Mellon University


“When the time is ripe for certain things, these things appear in different places in the manner of violets coming to light in early spring.” (Wolfgang Bolyai to his son Johann in urging him to claim the invention of non- Euclidean geometry without delay [Vit88]).