The book "Computer Aided Verification" documents the proceedings of the International Conference on Computer-Aided Verification (CAV), which took place from July 3 to 7, 2007, in Berlin. This conference was the 19th in a series of events dedicated to the advancement of the theory and practice of computer-aided formal analysis methods for software and hardware systems. The content ranges from theoretical results to concrete applications, with a particular focus on practical verification tools as well as the algorithms and techniques required for their implementation. The conference attracted a variety of submissions, including 134 regular and 39 tool paper submissions, from which a careful selection was made by the program committee. The quality of the submitted papers was ensured through a comprehensive review process that also involved external experts. Additionally, the conference included three invited talks from industry professionals, providing valuable insights into current challenges and solutions in the field of verification.