Das Buch "Computer Aided Verification" dokumentiert die Proceedings der Internationalen Konferenz zur computerunterstützten Verifikation (CAV), die vom 3. bis 7. Juli 2007 in Berlin stattfand. Diese Konferenz war die 19. in einer Reihe von Veranstaltungen, die sich der Weiterentwicklung der Theorie und Praxis von computerunterstützten formalen Analysemethoden für Software- und Hardwaresysteme widmen. Der Inhalt reicht von theoretischen Ergebnissen bis hin zu konkreten Anwendungen, wobei ein besonderer Fokus auf praktischen Verifikationstools sowie den Algorithmen und Techniken liegt, die für deren Implementierung erforderlich sind. Die Konferenz zog eine Vielzahl von Beiträgen an, darunter 134 reguläre und 39 Tool-Paper-Einreichungen, von denen eine sorgfältige Auswahl durch das Programmkomitee getroffen wurde. Die Qualität der eingereichten Arbeiten wurde durch ein umfassendes Review-Verfahren sichergestellt, das auch externe Experten einbezog. Die Konferenz umfasste zudem drei eingeladene Vorträge von Fachleuten aus der Industrie, die wertvolle Einblicke in aktuelle Herausforderungen und Lösungen im Bereich der Verifikation boten.