These proceedings contain the papers presented at the 8th Internationl Symposium
on Automated Technology for Verification and Analysis held during
September 21–24, 2010 in Singapore. 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.
From 72 papers submitted to ATVA 2010 in response to our call for papers,
the Program Committee accepted 21 regular papers and 9 tool papers. Each
paper received at least three reviews. The Program Committee worked hard to
ensure that every submission received a rigorous and fair evaluation, with the
final program selected after a 10-day online discussions via the Easychair system.
Our program also included three keynote talks and invited tutorials by Thomas
A. Henzinger (IST Austria), Joxan Jaffar (National University of Singapore) and
Igor Walukiewicz (CNRS, France). The conference organizers were truly grateful
to have such distinguished researchers as keynote speakers for the symposium.
A new feature for the ATVA symposium this year were the two co-located
workshops, Infinity 2010 (co-chaired by Yu-Fang Chen and Ahmed Rezine) and
PMCW 2010 (co-chaired by Jun Sun and Hai Wang). We are delighted with the
expanded scope, interactions and depth that the two workshops helped bring to
Many people worked hard and offered their valuable time so generously to
make ATVA 2010 successful. First and foremost, we would like to thank all
authors who worked hard to complete and submit papers to the conference.
The Program Committee members, reviewers and Steering Committee members
also deserve special recognition.Without them, a competitive and peer-reviewed
international symposium simply cannot take place.
Many individuals offered enthusiastic help to the conference. We are grateful
to Jin Song Dong (Conference Chair) and Farn Wang (Steering Committee
Chair) for their many invaluable suggestions and advice. We thank Yang Liu
(Local Arrangements Chair) and Chunqing Chen (Finance and Registration
Chair) for their support on local logistics. We also thank Florin Craciun for
his invaluable help in the final proceedings preparation, and Tian Huat Tan for
We sincerely hope that the readers find the proceedings of ATVA 2010
informative and rewarding.