Computer aided verification : 20th International Conference, CAV 2008 : Princeton, NJ, USA, July 7-14, 2008 : proceedings - Gupta, Aarti; Malik, Sharad (Lecture notes in computer science ;, 2008)