Computer aided verification 18th International Conference, CAV 2006, Seattle, WA, USA, August 17 - 20, 2006 ; proceedings (Springer, 2006)