Model Checking Software / Lecture Notes in Computer Science Bd.13255 (PDF)
28th International Symposium, SPIN 2022, Virtual Event, May 21, 2022, Proceedings
(Sprache: Englisch)
This book constitutes the refereed proceedings of the 28th International Symposium on Model Checking Software, SPIN 2022, held virtually in May 2022.
The 8 full papers were carefully reviewed and selected from 11 submissions. Topics covered include...
The 8 full papers were carefully reviewed and selected from 11 submissions. Topics covered include...
sofort als Download lieferbar
Printausgabe 109.99 €
eBook (pdf) -10%
98.99 €
- Lastschrift, Kreditkarte, Paypal, Rechnung
- Kostenloser tolino webreader
Produktdetails
Produktinformationen zu „Model Checking Software / Lecture Notes in Computer Science Bd.13255 (PDF)“
This book constitutes the refereed proceedings of the 28th International Symposium on Model Checking Software, SPIN 2022, held virtually in May 2022.
The 8 full papers were carefully reviewed and selected from 11 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.
Bibliographische Angaben
- 2022, 1st ed. 2022, 153 Seiten, Englisch
- Herausgegeben: Owolabi Legunsen, Grigore Rosu
- Verlag: Springer Nature Switzerland
- ISBN-10: 3031150775
- ISBN-13: 9783031150777
- Erscheinungsdatum: 22.08.2022
Abhängig von Bildschirmgröße und eingestellter Schriftgröße kann die Seitenzahl auf Ihrem Lesegerät variieren.
eBook Informationen
- Dateiformat: PDF
- Größe: 6.42 MB
- Ohne Kopierschutz
- Vorlesefunktion
Sprache:
Englisch
Kommentar zu "Model Checking Software / Lecture Notes in Computer Science Bd.13255"
Schreiben Sie einen Kommentar zu "Model Checking Software / Lecture Notes in Computer Science Bd.13255".
Kommentar verfassen