000 04405nam a22006615i 4500
001 978-3-031-24950-1
003 DE-He213
005 20240207153515.0
007 cr nn 008mamaa
008 230116s2023 sz | s |||| 0|eng d
020 _a9783031249501
_9978-3-031-24950-1
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. 508 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
500 _aAcceso multiusuario
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.
541 _fUABC ;
_cPerpetuidad
650 0 _aComputer science.
650 0 _aComputer science
_xMathematics.
650 0 _aLogic programming.
650 0 _aComputers, Special purpose.
650 0 _aSoftware engineering.
650 0 _aMicroprogramming .
650 1 4 _aTheory of Computation.
650 2 4 _aMathematics of Computing.
650 2 4 _aLogic in AI.
650 2 4 _aSpecial Purpose and Application-Based Systems.
650 2 4 _aSoftware Engineering.
650 2 4 _aControl Structures and Microprogramming.
700 1 _aDragoi, Cezara.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
700 1 _aEmmi, Michael.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
700 1 _aWang, Jingbo.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
710 2 _aSpringerLink (Online service)
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
856 4 0 _zLibro electrónico
_uhttp://libcon.rec.uabc.mx:2048/login?url=https://doi.org/10.1007/978-3-031-24950-1
912 _aZDB-2-SCS
912 _aZDB-2-SXCS
912 _aZDB-2-LNC
942 _cLIBRO_ELEC
999 _c260880
_d260879