CAV 2008 20th International Conference on Computer-Aided Verification July 2008 Princeton, New Jersey SMT 2008: 6th International Workshop on Satisfiability Modulo Theories July 7-8, 2008 Proceedings Editors: Clark Barrett, Leonardo de Moura