TY  - BOOK
AU  - Neele,Thomas
AU  - Wijs,Anton
ED  - International SPIN Workshop
TI  - Model checking software: 30th International Symposium, SPIN 2024, Luxembourg City, Luxembourg, April 8-9, 2024, Proceedings 
T2  - Lecture notes in computer science,
SN  - 9783031661495
AV  - QA76.76.V47 I58 2024eb
U1  - 005.1/4 23/eng/20241016
PY  - 2025///]
CY  - Cham
PB  - Springer
KW  - SPIN (Computer file)
KW  - Congresses
KW  - Computer software
KW  - Verification
KW  - Software engineering
KW  - Testing
KW  - Logiciels
KW  - Vérification
KW  - Congrès
KW  - Génie logiciel
N1  - Includes author index; 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
N2  - 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
UR  - https://link.springer.com/10.1007/978-3-031-66149-5
ER  -