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

Automated Technology for Verification and Analysis: 10th International Symposium, ATVA 2012…

byMadhavan MukundEditorSupratik Chakraborty

Paperback | August 16, 2012

Pricing and Purchase Info

$99.34 online 
$103.50 list price
Earn 497 plum® points

Prices and offers may vary in store

Quantity:

In stock online

Ships free on orders over $25

Not available in stores

about

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.
Title:Automated Technology for Verification and Analysis: 10th International Symposium, ATVA 2012…Format:PaperbackDimensions:438 pagesPublished:August 16, 2012Publisher:Springer-Verlag/Sci-Tech/TradeLanguage:English

The following ISBNs are associated with this title:

ISBN - 10:3642333850

ISBN - 13:9783642333859

Reviews

Table of Contents

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