Model Checking Software
29th International Symposium, SPIN 2023, Paris, France, April 26-27, 2023, Proceedings
(Sprache: Englisch)
This book constitutes the refereed proceedings of the 29th International Symposium on Model Checking Software, SPIN 2023, held in Paris, France, during April 26-27, 2023.
The 9 full papers and 2 short papers included in this book were carefully...
The 9 full papers and 2 short papers included in this book were carefully...
Voraussichtlich lieferbar in 3 Tag(en)
versandkostenfrei
Buch (Kartoniert)
60.49 €
- Lastschrift, Kreditkarte, Paypal, Rechnung
- Kostenlose Rücksendung
- Ratenzahlung möglich
Produktdetails
Produktinformationen zu „Model Checking Software “
Klappentext zu „Model Checking Software “
This book constitutes the refereed proceedings of the 29th International Symposium on Model Checking Software, SPIN 2023, held in Paris, France, during April 26-27, 2023. The 9 full papers and 2 short papers included in this book were carefully reviewed and selected from 21 submissions. They were organized in topical sections as follows: binary decision diagrams, concurrency, testing, synthesis, explicit-state model checking.
Inhaltsverzeichnis zu „Model Checking Software “
Binary Decision Diagrams.- Efficient Implementation of LIMDDs for Quantum Circuit\ Simulation.- ParaGnosis: A Tool for Parallel Knowledge Compilation.- Concurrency.- Model Checking Futexes.- Sound Concurrent Traces for Online Monitoring.- Testing.- Efficient Trace Generation for Rare-Event Analysis in Chemical Reaction Networks.- Accelerating black box testing with light-weight learning.- Synthesis.- WikiCoder: Learning to Write Knowledge-Powered Code.- Provable Correct and Adaptive Simplex Architecture for Bounded-Liveness Properties.- Explicit-state Model Checking.- Elimination of Detached Regions in Dependency Graph Verification.- Potency-Based Heuristic Search with Randomness for Explicit Model Checking.- GPUexplore 3.0: GPU Accelerated State Space Exploration for Concurrent Systems with Data.
Bibliographische Angaben
- 2023, 1st ed. 2023, X, 199 Seiten, 24 farbige Abbildungen, Maße: 15,5 x 23,5 cm, Kartoniert (TB), Englisch
- Herausgegeben: Georgiana Caltais, Christian Schilling
- Verlag: Springer, Berlin
- ISBN-10: 3031321561
- ISBN-13: 9783031321566
Sprache:
Englisch
Kommentar zu "Model Checking Software"
Schreiben Sie einen Kommentar zu "Model Checking Software".
Kommentar verfassen