ENGLISH

Automated Technology for Verification and Analysis: 5th International Symposium, ATVA 2007 Tokyo, Japan, October 22–25, 2007 Proceedings

By Nathan Whitehead , Jordan Johnson , Martín Abadi (auth.) , Kedar S. Namjoshi , Tomohiro Yoneda , Teruo Higashino , Yoshio Okamura (eds.)

Book information

Publisher
Springer-Verlag Berlin Heidelberg
Year
2007
ISBN
3540755950, 9783540755951
DOI
10.1007/978-3-540-75596-8
Open Library ID
OL23142109M
Language
english
Format
PDF
Filesize
6 MB (6393070 bytes)
Series
Lecture Notes in Computer Science 4762
Edition
1
Pages
570\576
Library
Kolxo3
Time added
2010-02-04 11:10:02
CompilersInterpretersLogics and Meanings of Programs; Information Syste

Description

This book constitutes the refereed proceedings of the 5th International Symposium on Automated Technology for Verification and Analysis, ATVA 2007, held in Tokyo, Japan, October 22-25, 2007.The 29 revised full papers presented together with 7 short papers were carefully reviewed and selected from 88 submissions. The papers address theoretical methods to achieve correct software or hardware systems, including both functional and non functional aspects; as well as applications of theory in engineering methods and particular domains and handling of practical problems occurring in tools.

Similar books