Computer Aided Verification: 23rd International Conference, Cav 2011, Snowbird, Ut, USA, July 14-20, 2011, Proceedings

Gopalakrishnan, Ganesh (Editor)/ Qadeer, Shaz (Editor)

ISBN 10: 3642221092 / ISBN 13: 9783642221095

Edité par Springer-Verlag New York Inc, 2011

A propos de cet article

1st edition. 778 pages. 9.29x6.06x1.65 inches. In Stock.

N° de réf. du vendeur x-3642221092

Détails bibliographiques

• Titre: Computer Aided Verification: 23rd International Conference, Cav 2011, Snowbird, Ut, USA, July 14-20, 2011, Proceedings
• Éditeur: Springer-Verlag New York Inc
• Date de parution: 2011
• Langue: anglais
• ISBN à 10 chiffres: 3642221092
• ISBN à 13 chiffres: 9783642221095
• Reliure: Paperback
• État de l'article: Brand New
• Poids: 1,16 kilogramme

A propos de ce titre

Synopsis

This book constitutes the refereed proceedings of the 23rd International Conference on Computer Aided Verification, C.A.V. 2011, held in Snowbird, U.T., U.S.A., in July 2011. The 35 revised full papers presented together with 20 tool papers were carefully reviewed and selected from 161 submissions. The papers are organized in topical sections on the following workshops: 4th International Workshop on Numerical Software Verification (N.S.V. 2011), 10th International Workshop on Parallel and Distributed Methods in Verifications (P.D.M.C. 2011), 4th International Workshop on Exploiting Concurrency Efficiently and Correctly (E.C.2 2011), Frontiers in Analog Circuit Synthesis and Verification (F.A.C. 2011), International Workshop on Satisfiability Modulo Theories, including S.M.T.C.O.M.P. (S.M.T. 2011), 18th International S.P.I.N. Workshop on Model Checking of Software (S.P.I.N. 2011), Formal Methods for Robotics and Automation (F.M.-R 2011), and Practical Synthesis for Concurrent Systems (P.S.Y. 2011).