LEADER 04466nam 22007695 450 001 9910644268503321 005 20240410184209.0 010 $a3-031-24950-X 024 7 $a10.1007/978-3-031-24950-1 035 $a(MiAaPQ)EBC7179150 035 $a(Au-PeEL)EBL7179150 035 $a(CKB)26020948000041 035 $a(DE-He213)978-3-031-24950-1 035 $a(PPN)267807104 035 $a(EXLCZ)9926020948000041 100 $a20230116d2023 u| 0 101 0 $aeng 135 $aurcnu|||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aVerification, Model Checking, and Abstract Interpretation $e24th International Conference, VMCAI 2023, Boston, MA, USA, January 16?17, 2023, Proceedings /$fedited by Cezara Dragoi, Michael Emmi, Jingbo Wang 205 $a1st ed. 2023. 210 1$aCham :$cSpringer Nature Switzerland :$cImprint: Springer,$d2023. 215 $a1 online resource (400 pages) 225 1 $aLecture Notes in Computer Science,$x1611-3349 ;$v13881 300 $aIncludes index. 311 08$aPrint version: Dragoi, Cezara Verification, Model Checking, and Abstract Interpretation Cham : Springer,c2023 9783031249495 327 $aDistributing and Parallelizing Non-canonical Loops -- SMT-Based Modeling and Verification of Spiking Neural Networks: A Case Study -- StaticPersist : Compiler Support for PMEM Programming -- Symbolic Abstract Heaps for Polymorphic Information-flow Guard Inference -- Satisfiability Modulo Custom Theories in Z3 -- Bayesian parameter estimation with guarantees via interval analysis and simulation -- A Pragmatic Approach to Stateful Partial Order Reduction -- Compositional Verification of Stigmergic Collective Systems -- Efficient Interprocedural Data-Flow Analysis using Treedepth and Treewidth -- Maximal Robust Neural Network Specifications via Oracle-guided Numerical Optimization -- A generic framework to coarse-grain stochastic reaction networks by Abstract Interpretation -- CosySEL: Improving SAT Solving Using Local Symmetries -- Sound Symbolic Execution via Abstract Interpretation and its Application to Security -- Result Invalidation for Incremental Modular Analyses -- Synthesizing History and Prophecy Variables for Symbolic Model Checking -- Solving Constrained Horn Clauses over Algebraic Data Types -- ARENA: Enhancing Abstract Refinement for Neural Network Verification. 330 $aThis book constitutes the proceedings of the 24th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2023, which took place in Boston, USA, in January 2023. The 17 full papers presented in this book were carefully reviewed and selected from 34 submissions. The contributions deal with program verification, model checking, abstract interpretation, program synthesis, static analysis, type systems, deductive methods, decision procedures, theorem proving, program certification, debugging techniques, program transformation, optimization, and hybrid and cyber-physical systems. 410 0$aLecture Notes in Computer Science,$x1611-3349 ;$v13881 606 $aComputer science 606 $aComputer science$xMathematics 606 $aLogic programming 606 $aComputers, Special purpose 606 $aSoftware engineering 606 $aMicroprogramming 606 $aTheory of Computation 606 $aMathematics of Computing 606 $aLogic in AI 606 $aSpecial Purpose and Application-Based Systems 606 $aSoftware Engineering 606 $aControl Structures and Microprogramming 615 0$aComputer science. 615 0$aComputer science$xMathematics. 615 0$aLogic programming. 615 0$aComputers, Special purpose. 615 0$aSoftware engineering. 615 0$aMicroprogramming. 615 14$aTheory of Computation. 615 24$aMathematics of Computing. 615 24$aLogic in AI. 615 24$aSpecial Purpose and Application-Based Systems. 615 24$aSoftware Engineering. 615 24$aControl Structures and Microprogramming. 676 $a005.369 676 $a005.14 702 $aDra?goi$b Cezara 702 $aEmmi$b Michael 702 $aWang$b Jingbo 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910644268503321 996 $aVerification, Model Checking, and Abstract Interpretation$92593983 997 $aUNINA