Computer Aided Verification: 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings - Couverture souple

 
9783642314230: Computer Aided Verification: 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings
Couverture souple
ISBN 10 : 3642314236 ISBN 13 : 9783642314230
Editeur : Springer, 2012

Synopsis

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.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Présentation de l'éditeur

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.

Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.

Éditeur
Springer
Date d'édition
2012
Langue
anglais
ISBN 10 
3642314236
ISBN 13 
9783642314230
Reliure
Broché
Nombre de pages
808
Éditeur
Parthasarathy Madhusudan, Seshia Sanjit A.
Coordonnées du fabricant
ProductSafety@springernature.com
ProductSafety@springernature.com

Poststr. 9
Darmstadt
64293
Allemagne

Autres éditions populaires du même titre

9783642314254: Computer Aided Verification: 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings

Edition présentée

ISBN 10 :  3642314252 ISBN 13 :  9783642314254
Editeur : Springer, 2012
Couverture souple