Verwandte Artikel zu Computer Aided Verification: 24th International Conference,...

Computer Aided Verification: 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings (Lecture Notes in Computer Science, Band 7358) - Softcover

 
9783642314230: Computer Aided Verification: 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings (Lecture Notes in Computer Science, Band 7358)
Softcover
ISBN 10: 3642314236 ISBN 13: 9783642314230
Verlag: Springer, 2012

Inhaltsangabe

This book constitutes the refereed proceedings of the 24th International Conference on Computer Aided Verification, C.A.V. 2012, held in Berkeley, C.A., U.S.A. in July 2012. The 38 regular and 20 tool papers presented were carefully reviewed and selected from 185 submissions. The papers are organized in topical sections on automata and synthesis, inductive inference and termination, abstraction, concurrency and software verification, biology and probabilistic systems, embedded and control systems, S.A.T./S.M.T. solving and S.M.T.-based verification, timed and hybrid systems, hardware verification, security, verification and synthesis, and tool demonstration.

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

Verlag
Springer
Erscheinungsdatum
2012
Sprache
Englisch
ISBN 10 
3642314236
ISBN 13 
9783642314230
Einband
Taschenbuch
Anzahl der Seiten
808
Herausgeber
Parthasarathy Madhusudan, Seshia Sanjit A.
Kontakt zum Hersteller
GPSR Kontakt
ProductSafety@springernature.com

Tiergartenstr. 17
Heidelberg
69121
Deutschland