Model Checking Software
25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings
(Sprache: Englisch)
This book constitutes the refereed proceedings of the 25th International Symposium on Model Checking Software, SPIN 2018, held in Malaga, Spain, in June 2018.
The 14 papers presented, 1 short paper, and 1 demo-tool paper, were carefully reviewed...
The 14 papers presented, 1 short paper, and 1 demo-tool paper, were carefully reviewed...
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 25th International Symposium on Model Checking Software, SPIN 2018, held in Malaga, Spain, in June 2018.The 14 papers presented, 1 short paper, and 1 demo-tool paper, were carefully reviewed and selected from 28 submissions. Topics covered include formal verification techniques for automated analysis of software; formal analysis for modeling languages, such as UML/state charts; formal specification languages, temporal logic, design-by-contract; model checking, automated theorem proving, including SAT and SMT; verifying compilers; abstraction and symbolic execution techniques; and much more.
Inhaltsverzeichnis zu „Model Checking Software “
Formal verification techniques for automated analysis of software.- Formal analysis for modeling languages, such as UML/state charts.- Formal specification languages, temporal logic, design-by-contract.- Model checking.- Automated theorem proving, including SAT and SMT.- Verifying compilers.- Abstraction and symbolic execution techniques. Bibliographische Angaben
- 2018, 1st ed. 2018, XVI, 347 Seiten, Masse: 15,5 x 23,5 cm, Kartoniert (TB), Englisch
- Herausgegeben: María del Mar Gallardo, Pedro Merino
- Verlag: Springer, Berlin
- ISBN-10: 3319941100
- ISBN-13: 9783319941103
- Erscheinungsdatum: 17.06.2018
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