ENGLISH

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

By Insup Lee , Sriram K. Rajamani (auth.) , Sungdeok (Steve) Cha , Jin-Young Choi , Moonzoo Kim , Mahesh Viswanathan (eds.)

Book information

Publisher
Springer-Verlag Berlin Heidelberg
Year
2008
ISBN
354088386X, 9783540883869
DOI
10.1007/978-3-540-88387-6
LCC
QA76.9.A96 A82 2008
Open Library ID
OL23686709M
Language
english
Format
PDF
Filesize
6 MB (5959078 bytes)
Series
Lecture Notes in Computer Science 5311 : Programming and Software Engineering
Edition
1
Pages
430\440
Library
Kolxo3
Time added
2011-07-22 07:35:22
CompilersInterpretersLogics and Meanings of Programs; Information Syste

Description

This book constitutes the refereed proceedings of the 6th International Symposium on Automated Technology for Verification and Analysis, ATVA 2008, held in Seoul, Korea, in October 2008. The 21 revised full papers 5 short papers and 7 tool papers presented together with 3 invited talks were carefully reviewed and selected from 82 submissions. The focos lies on theoretical methods to achieve correct software or hardware systems, including both functional and non functional aspects; as well as on applications of theory in engineering methods and particular domains and handling of practical problems occurring in tools. The papers are organized in topical sections on model checking, software verification, decision procedures, linear-time analysis, tool demonstration papers, timed and stochastic systems, theory, and short papers.

Similar books