000 03973cam a2200601 i 4500
001 on1461593715
003 OCoLC
005 20250707095857.0
006 m o d
007 cr un|---aucuu
008 241016s2025 sz a o 101 0 eng d
040 _aGW5XE
_beng
_erda
_epn
_cGW5XE
_dYDX
_dOCLCO
019 _a1461035127
020 _a9783031661495
_q(electronic bk.)
020 _a3031661494
_q(electronic bk.)
020 _z9783031661488
020 _z3031661486
024 7 _a10.1007/978-3-031-66149-5
_2doi
029 1 _aAU@
_b000078284191
035 _a(OCoLC)1461593715
_z(OCoLC)1461035127
050 4 _aQA76.76.V47
_bI58 2024eb
072 7 _aTJFM
_2bicssc
072 7 _aTEC007000
_2bisacsh
072 7 _aTJFM
_2thema
082 0 4 _a005.1/4
_223/eng/20241016
049 _aMAIN
111 2 _aInternational SPIN Workshop
_n(30th :
_d2024 :
_cLuxembourg, Luxembourg)
_91083267
245 1 0 _aModel checking software :
_b30th International Symposium, SPIN 2024, Luxembourg City, Luxembourg, April 8-9, 2024, Proceedings /
_cThomas Neele, Anton Wijs, editors.
246 3 _aSPIN 2024
264 1 _aCham :
_bSpringer,
_c[2025]
300 _a1 online resource (xiv, 270 pages) :
_billustrations (some color).
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
490 1 _aLecture notes in computer science,
_x1611-3349 ;
_v14624
505 0 _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.
520 _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.
500 _aIncludes author index.
588 0 _aOnline resource; title from PDF title page (SpringerLink, viewed October 16, 2024).
630 0 0 _aSPIN (Computer file)
_vCongresses.
_915103
650 0 _aComputer software
_xVerification
_vCongresses.
_915105
650 0 _aSoftware engineering
_vCongresses.
_915264
650 0 _aComputer software
_xTesting
_vCongresses.
_918837
650 6 _aLogiciels
_xVérification
_vCongrès.
_918708
650 6 _aGénie logiciel
_vCongrès.
_918168
700 1 _aNeele, Thomas,
_eeditor.
_1https://orcid.org/0000-0001-6117-9129
_91083268
700 1 _aWijs, Anton,
_eeditor.
_1https://id.oclc.org/worldcat/entity/E39PCjM8tKM4y3Xd9xqjJQXVQ3
_1https://orcid.org/0000-0002-2071-9624
_956941
776 0 8 _cOriginal
_z3031661486
_z9783031661488
_w(OCoLC)1439164111
830 0 _aLecture notes in computer science ;
_v14624.
_x1611-3349
856 4 0 _uhttps://link.springer.com/10.1007/978-3-031-66149-5
938 _aYBP Library Services
_bYANK
_n306719654
994 _a92
_bATIST
999 _c767511
_d767511