Computer Aided Verification: 23rd International Conference, C.A.V. 2011, Snowbird, U.T., U.S.A., July 14-20, 2011, Proceedings (Lecture Notes in ... Notes in Computer Science, 6806, Band 6806) - Softcover

Inhaltsangabe

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).

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.