Automated Technology For Verification And Analysis Second International Conference, Atva 2004, Taipei, Taiwan, Roc, October 31 - November 3, 2004. Proceedings

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.Wang, Farn is the author of 'Automated Technology For Verification And Analysis Second International Conference, Atva 2004, Taipei, Taiwan, Roc, October 31 - November 3, 2004. Proceedings', published 2004 under ISBN 9783540236108 and ISBN 3540236104.