Automated technology for verification and analysis 4th international symposium, ATVA 2006, Beijing, China, October 23-26, 2006, proceedings - ATVA 2006 (Springer, 2006)