Automated Technology for Verification and Analysis - 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012, Proceedings

This book constitutes the thoroughly refereed proceedings of the 10th International Symposium on Automated Technology for Verification and Analysis, ATVA 2012, held at Thiruvananthapuram, Kerala, India, in October 2012. The 25 regular papers, 3 invited papers and 4 tool papers presented were carefully selected from numerous submissions. Conference papers are organized in 9 technical sessions, covering the topics of automata theory, logics and proofs, model checking, software verification, synthesis, verification and parallelism, probabilistic verification, constraint solving and applications, and probabilistic systems.

List of contents

Fast conference proceedings.-State-of-the-art report.-Up to date results

Product details

• Assisted by: Supratik Chakraborty (Editor), Madhavan Mukund (Editor)
• Publisher: Springer, Berlin
• Languages: English
• Product format: Paperback / Softback
• Released: 16.08.2012
• EAN: 9783642333859
• ISBN: 978-3-642-33385-9
• No. of pages: 438
• Dimensions: 169 mm x 25 mm x 235 mm
• Weight: 680 g
• Illustrations: XIV, 438 p. 106 illus.
• Series: Lecture Notes in Computer Science; Programming and Software Engineering
• Subjects: Natural sciences, medicine, IT, technology > IT, data processing > IT; C, Software Engineering, computer science, Software Engineering/Programming and Operating Systems, Logics and Meanings of Programs, Computer Communication Networks, Programming Techniques, Programming Languages, Compilers, Interpreters, Computer programming, Operating systems, Computer programming / software engineering, Computer architecture & logic design, Computer communication systems, Programming & scripting languages: general, Compilers & interpreters, Programming languages (Electronic computers), Network hardware, Computer logic, Computer Science Logic and Foundations of Programming, Compilers and Interpreters