Automated technology for vertification and analysis : 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006, Proceedings - Graf, Susanne; Zhang, Wenhui (Lecture Notes in Computer Science,)