Automated Technology for Verificiation and Analysis: Proceedings 7th International Symposium, ATVA 2009

Zhiming Liu (Redaktør), Anders Peter Ravn (Redaktør)

Publikation: Bog/antologi/afhandling/rapportAntologiForskning

Abstrakt

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).

OriginalsprogEngelsk
ForlagSpringer
Vol/bind5799
ISBN (Trykt)3-642-04760-2
DOI
StatusUdgivet - 2009
NavnLecture Notes in Computer Science
Vol/bind5799
ISSN0302-9743

Fingeraftryk

Dyk ned i forskningsemnerne om 'Automated Technology for Verificiation and Analysis: Proceedings 7th International Symposium, ATVA 2009'. Sammen danner de et unikt fingeraftryk.

Citationsformater