This book constitutes the refereed proceedings of the 19th International Conference on Computer Aided Verification, CAV 2007, held in Berlin, Germany July 2007 in conjunction with the 14th Workshop on Model Checking Software, SPIN 2007.