RP Kurshan - 25 Years of Model Checking: History, Achievements …, 2008 - Springer
In the last quarter century computer-aided verification–especially in the form of model
checking–has evolved from a research concept to a commercial product. While the pace of …