ENGLISH

Automated Technology for Verification and Analysis: Second International Conference, ATVA 2004, Taipei, Taiwan, ROC, October 31-November 3, 2004. Proceedings

By Rajeev Alur (auth.) , Farn Wang (eds.)

Book information

Publisher
Springer-Verlag Berlin Heidelberg
Year
2004
ISBN
3540236104, 9783540236108
DOI
10.1007/b102065
LCC
QA76.9.A96 A82 2004
Open Library ID
OL3316425M
Language
english
Format
PDF
Filesize
9 MB (9463239 bytes)
Series
Lecture Notes in Computer Science 3299
Edition
1
Pages
510\516
Library
Kolxo3
Time added
2011-02-14 12:09:19
CompilersInterpretersLogics and Meanings of Programs; Information Syste

Description

This book constitutes the refereed proceedings of the Second International Conference on Automated Technology for Verificaton and Analysis, ATVA 2004, held in Taipei, Taiwan in October/November 2004. The 24 revised full papers presented together with abstracts of 6 invited presentations and 7 special track papers were carefully reviewed and selected from 69 submissions. Among the topics addressed are model-checking theory, theorem-proving theory, state-space reduction techniques, languages in automated verification, parametric analysis, optimization, formal performance analysis, real-time systems, embedded systems, infinite-state systems, Petri nets, UML, synthesis, and tools.

Similar books