Eintrag weiter verarbeiten
Online-Ressource

Computer Aided Verification: 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings

Gespeichert in:

Personen und Körperschaften: Sharygina, Natasha (VerfasserIn), Veith, Helmut (HerausgeberIn)
Titel: Computer Aided Verification: 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings/ edited by Natasha Sharygina, Helmut Veith
Format: E-Book Konferenzbericht
Sprache: Englisch
veröffentlicht:
Berlin, Heidelberg Springer 2013
Gesamtaufnahme: SpringerLink
Lecture notes in computer science ; 8044
Schlagwörter:
Logic design
Computer Science
Computer science
Software engineering
Computers, Special purpose.
Konferenzschrift > 2013 > Sankt Petersburg
Druckausg.: Computer aided verification, Berlin : Springer, 2013, XXI, 1015 S.
Quelle: Verbunddaten SWB
Zugangsinformationen: Elektronischer Volltext - Campuslizenz
Details
Zusammenfassung: This book constitutes the thoroughly refereed proceedings of the 25th International Conference on Computer Aided Verification, CAV 2013 held in St. Petersburg, Russia in July 2013. The 54 regular and 16 tool papers presented were carefully selected from 209 submissions. The papers are organized in topical sections on biology, concurrency, hardware, hybrid systems, interpolation, loops and termination, new domains, probability and statistics, SAT and SMZ, security, shape analysis, synthesis, and time
Beschreibung: Literaturangaben
Umfang: Online-Ressource (XXII, 1015 p. 237 illus, online resource)
ISBN: 9783642397998
DOI: 10.1007/978-3-642-39799-8