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

Zhiming Liu (Editor), Anders Peter Ravn (Editor)

Research output: Book/ReportAnthologyResearch

Abstract

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

Original languageEnglish
PublisherSpringer
Volume5799
ISBN (Print)3-642-04760-2
DOIs
Publication statusPublished - 2009
SeriesLecture Notes in Computer Science
Volume5799
ISSN0302-9743

Keywords

  • Verification
  • Analysis
  • Computer Engineering
  • Software Engineering

Cite this

Liu, Z., & Ravn, A. P. (Eds.) (2009). Automated Technology for Verificiation and Analysis: Proceedings 7th International Symposium, ATVA 2009. Springer. Lecture Notes in Computer Science, Vol.. 5799 https://doi.org/10.1007/978-3-642-04761-9