25 Years of Model Checking, Fachbücher von Helmut Veith, Orna Grumberg

Das Buch "25 Years of Model Checking" ist eine Festschrift, die anlässlich des 25-jährigen Jubiläums der Model Checking-Technologie veröffentlicht wurde. Diese Technologie stellt eine der bedeutendsten Anwendungen der Logik in der Informatik und Computertechnik dar. Die Model Checking-Community hat zahlreiche Durchbrüche erzielt, die eine Brücke zwischen theoretischer Informatik und der Hardware- sowie Softwaretechnik schlagen. Das Werk umfasst eine Sammlung von 11 eingeladenen Beiträgen, die auf Vorträgen des Symposiums "25 Years of Model Checking" basieren, das Teil der 18. Internationalen Konferenz über Computerunterstützte Verifikation (CAV 2006) war. Diese Konferenz fand im August 2006 in Seattle, Washington, USA, statt. Das Buch würdigt die Errungenschaften in diesem Bereich und enthält Nachdrucke visionärer Arbeiten von Edmund Clarke und Allen Emerson, die die Grundlagen für die Model Checking-Technologie gelegt haben.