Constitutes the refereed proceedings of the 9th International Symposium on Automated Technology for Verification & Analysis, ATVA 2011, held in Taipei, Taiwan, in October 2011. This book
Includes:: the papers addressing theoretical & practical aspects of automated analysis, verification & synthesis.