LEADER 03702nam  22006975  450 
001 9910983347203321
005 20251225181917.0
010   $a3-031-66149-4
024 7 $a10.1007/978-3-031-66149-5
035   $a(MiAaPQ)EBC31725000
035   $a(Au-PeEL)EBL31725000
035   $a(CKB)36340924500041
035   $a(DE-He213)978-3-031-66149-5
035   $a(EXLCZ)9936340924500041
100   $a20241012d2025      u|         0
101 0 $aeng
135   $aurcnu||||||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aModel Checking Software $e30th International Symposium, SPIN 2024, Luxembourg City, Luxembourg, April 8?9, 2024, Proceedings /$fedited by Thomas Neele, Anton Wijs
205   $a1st ed. 2025.
210  1$aCham :$cSpringer Nature Switzerland :$cImprint: Springer,$d2025.
215   $a1 online resource (274 pages)
225 1 $aLecture Notes in Computer Science,$x1611-3349 ;$v14624
311 08$a3-031-66148-6 
327   $aTaming 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.
330   $aThis 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.
410  0$aLecture Notes in Computer Science,$x1611-3349 ;$v14624
606   $aAutomatic control
606   $aRobotics
606   $aAutomation
606   $aSoftware engineering
606   $aArtificial intelligence
606   $aComputer engineering
606   $aComputer networks
606   $aControl, Robotics, Automation
606   $aSoftware Engineering
606   $aArtificial Intelligence
606   $aComputer Engineering and Networks
615  0$aAutomatic control.
615  0$aRobotics.
615  0$aAutomation.
615  0$aSoftware engineering.
615  0$aArtificial intelligence.
615  0$aComputer engineering.
615  0$aComputer networks.
615 14$aControl, Robotics, Automation.
615 24$aSoftware Engineering.
615 24$aArtificial Intelligence.
615 24$aComputer Engineering and Networks.
676   $a629.8
700   $aNeele$b Thomas$01785242
701   $aWijs$b Anton$01439114
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910983347203321
996   $aModel Checking Software$94316825
997   $aUNINA