By Amir Pnueli (auth.), Doron A. Peled, Yih-Kuen Tsay (eds.)
The computerized expertise for Veri?cation and research (ATVA) foreign symposium sequence was once initiated in 2003, responding to a turning out to be curiosity in formal veri?cation spurred by way of the booming IT undefined, relatively layout and production in East Asia. Its function is to advertise study on computerized veri?cation and research within the quarter via offering a discussion board for int- motion among the local and the foreign research/industrial commu- ties of the ?eld. ATVA 2005, the 3rd of the ATVA sequence, was once held in Taipei, Taiwan, October 4–7, 2005. the most subject of the symposium encompasses - signal, complexities, instruments, and functions of automatic equipment for veri?cation and research. The symposium was once co-located and had a two-day overlap with area of expertise 2005, which used to be held October 2–5, 2005. We acquired a complete of ninety five submissions from 17 international locations. every one submission was once assigned to 3 application Committee individuals, who have been helped by means of their subreviewers, for rigorous and reasonable evaluate. The ?nal deliberation through the P- gram Committee was once carried out over e-mail for a length of approximately 10 days after approximately all overview stories were amassed. in spite of everything, 33 papers have been - lectedforinclusionintheprogram.ATVA2005hadthreekeynotespeechesgiven respectively via Amir Pnueli (joint with strong point 2005), Zohar Manna, and Wo- gang Thomas. the most symposium was once preceded through an academic day, such as 3 two-hour lectures given additionally via the keynote speakers.