Tenth International Symposium on
Automated Technology for Verification and Analysis, ATVA 2012
Thiruvananthapuram (Trivandrum), Kerala, October 3-6, 2012