Model Checking Software : 29th International Symposium, SPIN 2023, Paris, France, April 26–27, 2023, Proceedings / / edited by Georgiana Caltais, Christian Schilling
(Visualizza in formato marc)
(Visualizza in BIBFRAME)
| Titolo: |
Model Checking Software : 29th International Symposium, SPIN 2023, Paris, France, April 26–27, 2023, Proceedings / / edited by Georgiana Caltais, Christian Schilling
|
| Pubblicazione: | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023 |
| Edizione: | 1st ed. 2023. |
| Descrizione fisica: | 1 online resource (202 pages) |
| Disciplina: | 005.30287 |
| Soggetto topico: | Automatic control |
| Robotics | |
| Automation | |
| Software engineering | |
| Artificial intelligence | |
| Computer engineering | |
| Computer networks | |
| Control, Robotics, Automation | |
| Software Engineering | |
| Artificial Intelligence | |
| Computer Engineering and Networks | |
| Persona (resp. second.): | CaltaisGeorgiana |
| SchillingChristian | |
| Nota di bibliografia: | Includes bibliographical references and index. |
| Nota di contenuto: | 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. |
| Sommario/riassunto: | 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. |
| Titolo autorizzato: | Model Checking Software |
| ISBN: | 9783031321573 |
| 9783031321566 | |
| Formato: | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione: | Inglese |
| Record Nr.: | 9910720065703321 |
| Lo trovi qui: | Univ. Federico II |
| Opac: | Controlla la disponibilità qui |
Serie:
Lecture Notes in Computer Science, . 1611-3349 ; ; 13872