Model checking software : 30th International Symposium, SPIN 2024, Luxembourg City, Luxembourg, April 8-9, 2024, Proceedings /
Model checking software : 30th International Symposium, SPIN 2024, Luxembourg City, Luxembourg, April 8-9, 2024, Proceedings /
SPIN 2024
Thomas Neele, Anton Wijs, editors.
- 1 online resource (xiv, 270 pages) : illustrations (some color).
- Lecture notes in computer science, 14624 1611-3349 ; .
- Lecture notes in computer science ; 14624. .
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.
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.
9783031661495 3031661494
10.1007/978-3-031-66149-5 doi
SPIN (Computer file)--Congresses.
Computer software--Verification--Congresses.
Software engineering--Congresses.
Computer software--Testing--Congresses.
Logiciels--Vérification--Congrès.
Génie logiciel--Congrès.
QA76.76.V47 / I58 2024eb
005.1/4
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.
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.
9783031661495 3031661494
10.1007/978-3-031-66149-5 doi
SPIN (Computer file)--Congresses.
Computer software--Verification--Congresses.
Software engineering--Congresses.
Computer software--Testing--Congresses.
Logiciels--Vérification--Congrès.
Génie logiciel--Congrès.
QA76.76.V47 / I58 2024eb
005.1/4