Computer Aided Verification ; Vol. 4144 ; 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings

Presents 35 revised full papers together with 10 tool papers and 4 invited papers adressing all current issues in computer aided verification and model checking - from foundational and methodological issues ranging to the evaluation of major tools and systems.