Model Checking Software
22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings
(Sprache: Englisch)
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...
Voraussichtlich lieferbar in 3 Tag(en)
versandkostenfrei
Buch (Kartoniert)
Fr. 59.00
inkl. MwSt.
- Kreditkarte, Paypal, Rechnungskauf
- 30 Tage Widerrufsrecht
Produktdetails
Produktinformationen zu „Model Checking Software “
Klappentext zu „Model Checking Software “
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.
Inhaltsverzeichnis zu „Model Checking Software “
Abstraction, refinement, translation.- Büchi automata and hashing.- Embedded systems.- Heuristics and benchmarks.- SAT/SMT- based approaches.- Software validation and verification.
Bibliographische Angaben
- 2015, 1st ed. 2015, XVIII, 319 Seiten, Masse: 15,5 x 23,5 cm, Kartoniert (TB), Englisch
- Herausgegeben: Bernd Fischer, Jaco Geldenhuys
- Verlag: Springer, Berlin
- ISBN-10: 331923403X
- ISBN-13: 9783319234038
- Erscheinungsdatum: 03.09.2015
Sprache:
Englisch
Kommentar zu "Model Checking Software"
0 Gebrauchte Artikel zu „Model Checking Software“
| Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
|---|
Schreiben Sie einen Kommentar zu "Model Checking Software".
Kommentar verfassen