Computer Aided Verification: 15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003, Proceedings - Couverture souple

Somenzi, Fabio; Hunt, Jr.

Couverture souple

ISBN 10 : 3540405240 ISBN 13 : 9783540405245

Editeur : Springer, 2008

Synopsis

The refereed proceedings of the 15th International Conference on Computer Aided Verification, CAV 2003, held in Boulder, CO, USA in July 2003.

The 32 revised full papers and 9 tool papers presented were carefully reviewed and selected from a total of 102 submissions. The papers are organized in topical sections on bounded model checking; symbolic model checking; games, trees, and counters; tools; abstraction; dense time; infinite state systems; applications; theorem proving; automata-based verification; invariants; and explicit model checking.

Détails de l'édition

• Éditeur: Springer
• Date d'édition: 2008
• Langue: anglais
• ISBN 10: 3540405240
• ISBN 13: 9783540405245
• Reliure: Broché
• Nombre de pages: 500
• Coordonnées du fabricant: ProductSafety@springernature.com; ProductSafety@springernature.com; ; Poststr. 9; Darmstadt; 64293; Allemagne