Automated Technology for Verification and Analysis

by

Write The First Customer Review

This volume contains the papers presented at the 6th International Symposium on Automated Technology for Veri?cation and Analysis held during October 20-23 in Seoul, Korea. The primary objective of the ATVA conferences remains the same: to exchange and promote the latest advances of state-of-the-art - search on theoretical and practical aspects of automated analysis, veri?cation, and synthesis. Among 66 research papers and 16 tool papers submitted to ATVA 2008, the Program Committee accepted 21 as regular papers, 7 as tool ...

Automated Technology for Verification and Analysis 2008, Springer, Berlin, Germany

ISBN-13: 9783540883869

Trade paperback

Select