Model Checking Software

30th International Symposium, SPIN 2024, Luxembourg City, Luxembourg, April 8¿9, 2024, Proceedings
Herausgegeben:Neele, Thomas; Wijs, Anton

• Broschiertes Buch

Produktbeschreibung

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.

Produktdetails

• Lecture Notes in Computer Science 14624
• Verlag: Springer / Springer Nature Switzerland / Springer, Berlin
• Artikelnr. des Verlages: 978-3-031-66148-8
• Seitenzahl: 284
• Erscheinungstermin: 13. Oktober 2024
• Englisch
• Abmessung: 235mm x 155mm x 16mm
• Gewicht: 435g
• ISBN-13: 9783031661488
• ISBN-10: 3031661486
• Artikelnr.: 70952152

Inhaltsangabe

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.