Die ACM (Association for Computing Machinery) hat den Turing Award (vergleichbar mit dem Nobelpreis) an die Forscher Edmund M. Clarke, E. Allen Emerson und Joseph Sifakis auf dem Gebiet des Model Checking vergeben. Eine Liste der Preisträger findet sich hier. Vielleicht auch interessant ist der Preis für den Erfinder der Klasse NP.