Willkommen, schön sind Sie da!
Logo Ex Libris

Model Checking Software

  • E-Book (pdf)
  • 319 Seiten
(0) Erste Bewertung abgeben
Bewertungen
(0)
(0)
(0)
(0)
(0)
Alle Bewertungen ansehen
This book constitutes the refereed proceedings of the 22nd International Symposium on Model Checking Software, SPIN 2015, held in... Weiterlesen
CHF 66.90
Download steht sofort bereit
Informationen zu E-Books
E-Books eignen sich auch für mobile Geräte (sehen Sie dazu die Anleitungen).
E-Books von Ex Libris sind mit Adobe DRM kopiergeschützt: Erfahren Sie mehr.
Weitere Informationen finden Sie hier.
Bestellung & Lieferung in eine Filiale möglich

Beschreibung

This book constitutes the refereed proceedings of the 22nd International Symposium on Model Checking Software, SPIN 2015, held in Stellenbosch, South Africa, in August 2015. The 18 papers presented - 14 regular papers and 4 tool or new idea papers - were carefully reviewed and selected from 27 submissions. They cover the field between theoretical advances and practical considerations and are organized in topical sections such as abstraction, refinement, translation; Büchi automata and hashing; embedded systems; heuristics and benchmarks; SAT/SMT- based approaches; software validation and verification.



Inhalt

Abstraction, refinement, translation.- Büchi automata and hashing.- Embedded systems.- Heuristics and benchmarks.- SAT/SMT- based approaches.- Software validation and verification.

Produktinformationen

Titel: Model Checking Software
Untertitel: 22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings
Editor:
EAN: 9783319234045
Format: E-Book (pdf)
Hersteller: Springer International Publishing
Genre: IT & Internet
Veröffentlichung: 26.08.2015
Digitaler Kopierschutz: Wasserzeichen
Dateigrösse: 11.44 MB
Anzahl Seiten: 319

Weitere Bände aus der Buchreihe "Theoretical Computer Science and General Issues"