ATVA 2006: International Symposium on Automated Technology for Verification and Analysis 2006