Pdf Automated Technology For Verification And Analysis: 4Th International Symposium, Atva 2006, Beijing, China, October 23 26, 2006. Proceedings 2006