Computer Aided Verification

This volume contains the proceedings of the International Conference on Computer Aided Veri?cation (CAV), held in Edinburgh, Scotland, July 6–10, 2005. CAV 2005 had six a?liated workshops: – BMC 2005: 3rd Int. – PDPAR 2005: 3rd Workshop on Pragmatics of Decision Procedures in - tomated Reasoning;