03702nam 22006975 450 991098334720332120241012125737.03-031-66149-410.1007/978-3-031-66149-5(MiAaPQ)EBC31725000(Au-PeEL)EBL31725000(CKB)36340924500041(DE-He213)978-3-031-66149-5(EXLCZ)993634092450004120241012d2025 u| 0engurcnu||||||||txtrdacontentcrdamediacrrdacarrierModel Checking Software 30th International Symposium, SPIN 2024, Luxembourg City, Luxembourg, April 8–9, 2024, Proceedings /edited by Thomas Neele, Anton Wijs1st ed. 2025.Cham :Springer Nature Switzerland :Imprint: Springer,2025.1 online resource (274 pages)Lecture Notes in Computer Science,1611-3349 ;146243-031-66148-6 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.Lecture Notes in Computer Science,1611-3349 ;14624Automatic controlRoboticsAutomationSoftware engineeringArtificial intelligenceComputer engineeringComputer networksControl, Robotics, AutomationSoftware EngineeringArtificial IntelligenceComputer Engineering and NetworksAutomatic control.Robotics.Automation.Software engineering.Artificial intelligence.Computer engineering.Computer networks.Control, Robotics, Automation.Software Engineering.Artificial Intelligence.Computer Engineering and Networks.629.8Neele Thomas1785242Wijs Anton1439114MiAaPQMiAaPQMiAaPQBOOK9910983347203321Model Checking Software4316825UNINA