TY - BOOK
T1 - Automated Technology for Verificiation and Analysis
T2 - Proceedings 7th International Symposium, ATVA 2009
A2 - Liu, Zhiming
A2 - Ravn, Anders Peter
PY - 2009
Y1 - 2009
N2 - This volume contains the papers presented at the 7th International Symposium on Automated Technology for Verification and Analysis held during October 13-16 in Macao SAR, China. The primary objective of the ATVA conferences remains the same: to exchange and promote the latest advances of state-of-the-art research on theoretical and practical aspects of automated analysis, verification, and synthesis.Among 74 research papers and 10 tool papers submitted to ATVA 2009, the Program Committee accepted 23 as regular papers and 3 as tool papers. In all, 33 experts from 17 countries worked hard to make sure that every submission received a rigorous and fair evaluation. In addition, the program included three excellent tutorials and keynote talks by Mark Greenstreet (U. British Columbia), Orna Grumberg (Technion), and Bill Roscoe (Oxford University).
AB - This volume contains the papers presented at the 7th International Symposium on Automated Technology for Verification and Analysis held during October 13-16 in Macao SAR, China. The primary objective of the ATVA conferences remains the same: to exchange and promote the latest advances of state-of-the-art research on theoretical and practical aspects of automated analysis, verification, and synthesis.Among 74 research papers and 10 tool papers submitted to ATVA 2009, the Program Committee accepted 23 as regular papers and 3 as tool papers. In all, 33 experts from 17 countries worked hard to make sure that every submission received a rigorous and fair evaluation. In addition, the program included three excellent tutorials and keynote talks by Mark Greenstreet (U. British Columbia), Orna Grumberg (Technion), and Bill Roscoe (Oxford University).
KW - Verification
KW - Analysis
KW - Computer Engineering
KW - Software Engineering
U2 - 10.1007/978-3-642-04761-9
DO - 10.1007/978-3-642-04761-9
M3 - Anthology
SN - 3-642-04760-2
VL - 5799
T3 - Lecture Notes in Computer Science
BT - Automated Technology for Verificiation and Analysis
PB - Springer
ER -