Items related to Automated Technology for Verification and Analysis

Automated Technology for Verification and Analysis - Softcover

 
9783540816461: Automated Technology for Verification and Analysis
Softcover
ISBN 10: 3540816461 ISBN 13: 9783540816461
Publisher: Springer, 2008

This specific ISBN edition is currently not available.

Synopsis

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.

"synopsis" may belong to another edition of this title.

Publisher
Springer
Publication date
2008
Language
English
ISBN 10 
3540816461
ISBN 13 
9783540816461
Binding
Paperback
Number of pages
524
Editor
Peled Doron A., Tsay Yih-Kuen

(No Available Copies)

Search Books:



Create a Want

Can't find the book you're looking for? We'll keep searching for you. If one of our booksellers adds it to AbeBooks, we'll let you know!

Create a Want

Other Popular Editions of the Same Title

9783540236108: Automated Technology for Verification and Analysis: Second International Conference, ATVA 2004, Taipei, Taiwan, ROC, October 31 - November 3, 2004. ... (Lecture Notes in Computer Science, 3299)

Featured Edition

ISBN 10:  3540236104 ISBN 13:  9783540236108
Publisher: Springer, 2004
Softcover