Subscribe to Read | $0.00

Join today and start reading your favorite books for Free!

Create Free Account

Automated Technology for Verification and Analysis: 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009, Proceedings

0/5 ( ratings)

This book constitutes the proceedings of the 7th International Symposium on Automated Technology for Verification and Analysis, ATVA 2009, held in Macao, China, in October 2009. The 23 regular papers and 3 took papers presented together with 3 invited talks, were carefully reviewed and selected from 74 research papers and 10 tool papers submissions. The papers are organized in topical sections on state space reduction, tools, probabilistic systems, medley, temporal logic, abstraction and refinement, and fault tolerant systems.

Language: English

Pages: 414

Format: Paperback

Publisher: Springer

Release: September 29, 2009

ISBN: 3642047602

ISBN 13: 9783642047602

Automated Technology for Verification and Analysis: 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009, Proceedings

Zhiming Liu

0/5 ( ratings)

Read Download

Language: English

Pages: 414

Format: Paperback

Publisher: Springer

Release: September 29, 2009

ISBN: 3642047602

ISBN 13: 9783642047602

Subscribe to Read | $0.00

Popular Genres

Subscribe to Read | $0.00

Automated Technology for Verification and Analysis: 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009, Proceedings

Automated Technology for Verification and Analysis: 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009, Proceedings

Automated Technology for Verification and Analysis: 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009, Proceedings

More books from Zhiming Liu

Unifying Theories of Programming and Formal Engineering Methods: International Training School on Software Engineering, Held at Ictac 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures

Foundations of Health Informatics Engineering and Systems: First International Symposium, Fhies 2011, Johannesburg, South Africa, August 29-30, 2011. Revised Selected Papers

Engineering Trustworthy Software Systems: 5th International School, SETSS 2019, Chongqing, China, April 21–27, 2019, Tutorial Lectures (Lecture Notes in Computer Science Book 12154)

Engineering Trustworthy Software Systems: First International School, Setss 2014, Chongqing, China, September 8-13, 2014. Tutorial Lectures

Engineering Trustworthy Software Systems: Second International School, Setss 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures

Mathematical Frameworks for Component Software: Models for Analysis and Synthesis (Series on Component-Based Software Development) (Series on Component-Based Software Development)

Theoretical Aspects of Computing - Ictac 2004: First International Colloquium Guiyand, China, September 20-24, 2004, Revised Selected Papers

Theoretical Aspects of Computing - Ictac 2007: 4th International Colloquium, Macau, China, September 26-28, 2007, Proceedings

Formal Methods and Software Engineering: 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, Proceedings

Formal Aspects of Component Software: 10th International Symposium, Facs 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers

Formal Methods and Hybrid Real-Time Systems

Domain Modeling and the Duration Calculus

Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday

Formal Methods and Software Engineering

Engineering Trustworthy Software Systems: 4th International School, Setss 2018, Chongqing, China, April 7-12, 2018, Tutorial Lectures