000 04379nam a22006375i 4500
001 978-3-031-24950-1
003 DE-He213
005 20240730173320.0
007 cr nn 008mamaa
008 230116s2023 sz | s |||| 0|eng d
020 _a9783031249501
_9978-3-031-24950-1
024 7 _a10.1007/978-3-031-24950-1
_2doi
050 4 _aQA75.5-76.95
072 7 _aUYA
_2bicssc
072 7 _aCOM014000
_2bisacsh
072 7 _aUYA
_2thema
082 0 4 _a004.0151
_223
245 1 0 _aVerification, Model Checking, and Abstract Interpretation
_h[electronic resource] :
_b24th International Conference, VMCAI 2023, Boston, MA, USA, January 16-17, 2023, Proceedings /
_cedited by Cezara Dragoi, Michael Emmi, Jingbo Wang.
250 _a1st ed. 2023.
264 1 _aCham :
_bSpringer Nature Switzerland :
_bImprint: Springer,
_c2023.
300 _aX, 389 p. 112 illus., 80 illus. in color.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aLecture Notes in Computer Science,
_x1611-3349 ;
_v13881
505 0 _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.
520 _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.
650 0 _aComputer science.
_99832
650 0 _aComputer science
_xMathematics.
_93866
650 0 _aLogic programming.
_92730
650 0 _aComputers, Special purpose.
_946653
650 0 _aSoftware engineering.
_94138
650 0 _aMicroprogramming .
_932081
650 1 4 _aTheory of Computation.
_9107879
650 2 4 _aMathematics of Computing.
_931875
650 2 4 _aLogic in AI.
_933012
650 2 4 _aSpecial Purpose and Application-Based Systems.
_946654
650 2 4 _aSoftware Engineering.
_94138
650 2 4 _aControl Structures and Microprogramming.
_932083
700 1 _aDragoi, Cezara.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9107880
700 1 _aEmmi, Michael.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9107881
700 1 _aWang, Jingbo.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9107882
710 2 _aSpringerLink (Online service)
_9107883
773 0 _tSpringer Nature eBook
776 0 8 _iPrinted edition:
_z9783031249495
776 0 8 _iPrinted edition:
_z9783031249518
830 0 _aLecture Notes in Computer Science,
_x1611-3349 ;
_v13881
_923263
856 4 0 _uhttps://doi.org/10.1007/978-3-031-24950-1
912 _aZDB-2-SCS
912 _aZDB-2-SXCS
912 _aZDB-2-LNC
942 _cELN
999 _c88865
_d88865