Computer Aided Verification: 15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003, Proceedings (Lecture Notes in Computer Science, 2725, Band 2725) - Softcover

Somenzi, Fabio; Hunt, Jr.

 
9783540405245: Computer Aided Verification: 15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003, Proceedings (Lecture Notes in Computer Science, 2725, Band 2725)
Softcover
ISBN 10: 3540405240 ISBN 13: 9783540405245
Verlag: Springer, 2008

Inhaltsangabe

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.

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

Verlag
Springer
Erscheinungsdatum
2008
Sprache
Englisch
ISBN 10 
3540405240
ISBN 13 
9783540405245
Einband
Taschenbuch
Anzahl der Seiten
500
Kontakt zum Hersteller
GPSR Kontakt
ProductSafety@springernature.com

Slevogtstraße 3-5
Heidelberg
69126
Deutschland

Weitere beliebte Ausgaben desselben Titels

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

Vorgestellte Ausgabe

ISBN 10:  3662186853 ISBN 13:  9783662186855
Verlag: Springer, 2014
Softcover