Model Checking Software : 30th International Symposium, SPIN 2024, Luxembourg City, Luxembourg, April 8–9, 2024, Proceedings / / edited by Thomas Neele, Anton Wijs
(Visualizza in formato marc)
(Visualizza in BIBFRAME)
| Autore: |
Neele Thomas
|
| Titolo: |
Model Checking Software : 30th International Symposium, SPIN 2024, Luxembourg City, Luxembourg, April 8–9, 2024, Proceedings / / edited by Thomas Neele, Anton Wijs
|
| Pubblicazione: | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2025 |
| Edizione: | 1st ed. 2025. |
| Descrizione fisica: | 1 online resource (274 pages) |
| Disciplina: | 629.8 |
| 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 | |
| Altri autori: |
WijsAnton
|
| Nota di contenuto: | Taming the AI Monster: Monitoring of Individual Fairness for Effective Human Oversight -- MoXI: An Intermediate Language for Symbolic Model Checking. Model Checking: Synchronisation in Language-level Symmetry Reduction for Probabilistic Model Checking -- A Hypergraph-based Formalization of Hierarchical Reactive Modules and a Compositional Verification Method. Anniversary: Two Decades of Industrializing Formal Verification: The Reactis Story -- Automated Reasoning in Quantum Circuit Compilation. Automated Reasoning: Random Access on Narrow Decision Diagrams in External Memory -- Solving Constrained Horn Clauses as C Programs with CHC2C. Verification Tools: Learning the State Machine Behind a Modal Text Editor: The (Neo)Vim Case Study -- Tolerange: Quantifying Fault Masking in Stochastic Systems -- Software Verification Witnesses 2.0 -- Fault Localization on Verification Witnesses. Software Verification: Augmenting Interpolation-Based Model Checking with Auxiliary Invariants -- Test-Case Generation with Automata-based Software Model Checking. |
| Sommario/riassunto: | This book constitutes the refereed proceedings of the 30th International Symposium on Model Checking Software, SPIN 2024, held in Luxembourg City, Luxembourg, during April 10-11, 2024. The 9 full papers, 3 short papers and 2 invited papers included in this book were carefully reviewed and selected from 23 submissions. They are organized in topical sections as follows: model checking; anniversary; automated reasoning; and verification tools. |
| Titolo autorizzato: | Model Checking Software |
| ISBN: | 3-031-66149-4 |
| Formato: | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione: | Inglese |
| Record Nr.: | 9910983347203321 |
| Lo trovi qui: | Univ. Federico II |
| Opac: | Controlla la disponibilità qui |
Serie:
Lecture Notes in Computer Science, . 1611-3349 ; ; 14624