Computer aided verification (vol. # 4144) : 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings - Ball, Thomas; Jones, Robert B. (Lecture Notes in Computer Science,, 2006)