Automated Technology for Verification and Analysis - 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008, Proceedings (Paperback, 2008 ed.)

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 papers, and 5 as short papers. In all, 33 experts from 27 countries worked hard to make sure that every submission received as rigorous and fair an evaluation as possible. In addition, the program also included three excellent tutorials and keynote talksby DavidDill (StanfordUniversity), SriramRajamani(MicrosoftResearch India), and Natarajan Shankar (SRI International). The conference organizers were truly excited to have such distinguished researchers as keynote speakers. Many worked hard and o?ered their valuable time so generously to make ATVA 2008 successful. First of all, the conference organizers thank all 218 - searchers who worked hard to complete and submit papers to the conference. ThePCmembers, reviewers, andSteeringCommitteemembersalsodeserves- cial recognition. Without them, a competitive and peer-reviewed international symposium simply cannot take place. Manyorganizationssponsoredthesymposium.Theyinclude: TheKorean- stituteofInformationScientistsandEngineers(SIGPLandSoftwareEngineering Society), KoreaUniversity, KoreaAdvanced Institute ofScience and Technology (KAIST), the Software Process Improvement Center and the Defense Software Research Center at KAIST. The conference organizers also thank the BK p- gramatKoreaUniversityandtheDepartmentofComputerScienceatKAISTfor ?nancialsupport. We sincerely hope that the readers ?nd the proceedings of ATVA 2008 informative and reward

General

Imprint:	Springer-Verlag
Country of origin:	Germany
Series:	Lecture Notes in Computer Science, 5311
Release date:	October 2008
First published:	2008
Editors:	Sungdeok Cha • Jin-young Choi • Moonzoo Kim • Mahesh Viswanathan
Dimensions:	235 x 155 x 23mm (L x W x T)
Format:	Paperback
Pages:	430
Edition:	2008 ed.
ISBN-13:	978-3-540-88386-9
Categories:	Books > Computing & IT > Computer programming > Software engineering Books > Computing & IT > Computer communications & networking > General Books > Computing & IT > Internet > Network computers Books > Computing & IT > Computer programming > Programming languages > General Books > Computing & IT > Applications of computing > Artificial intelligence > Knowledge-based systems / expert systems Promotions
LSN:	3-540-88386-X
Barcode:	9783540883869

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!