001454247 000__ 04105cam\a2200565\i\4500
001454247 001__ 1454247
001454247 003__ OCoLC
001454247 005__ 20230314003509.0
001454247 006__ m\\\\\o\\d\\\\\\\\
001454247 007__ cr\cn\nnnunnun
001454247 008__ 230130s2023\\\\sz\\\\\\o\\\\\101\0\eng\d
001454247 019__ $$a1362865977
001454247 020__ $$a9783031249501$$q(electronic bk.)
001454247 020__ $$a303124950X$$q(electronic bk.)
001454247 020__ $$z9783031249495
001454247 020__ $$z3031249496
001454247 0247_ $$a10.1007/978-3-031-24950-1$$2doi
001454247 035__ $$aSP(OCoLC)1366303889
001454247 040__ $$aGW5XE$$beng$$erda$$epn$$cGW5XE$$dYDX$$dEBLCP
001454247 049__ $$aISEA
001454247 050_4 $$aQA76.76.V47
001454247 08204 $$a005.1/4$$223/eng/20230130
001454247 1112_ $$aVMCAI (Conference)$$n(24th :$$d2023 :$$cBoston, Mass.)
001454247 24510 $$aVerification, model checking, and abstract interpretation :$$b24th International Conference, VMCAI 2023, Boston, MA, USA, January 16-17, 2023, proceedings /$$cCezara Dragoi, Michael Emmi, Jingbo Wang (eds.).
001454247 264_1 $$aCham :$$bSpringer,$$c2023.
001454247 300__ $$a1 online resource (390 pages)
001454247 336__ $$atext$$btxt$$2rdacontent
001454247 337__ $$acomputer$$bc$$2rdamedia
001454247 338__ $$aonline resource$$bcr$$2rdacarrier
001454247 4901_ $$aLecture notes in computer science ;$$v13881
001454247 4901_ $$aAdvanced research in computing and software science
001454247 500__ $$aIncludes author index.
001454247 5050_ $$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.
001454247 506__ $$aAccess limited to authorized users.
001454247 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.
001454247 588__ $$aDescription based on print version record.
001454247 650_0 $$aComputer programs$$xVerification$$vCongresses.
001454247 655_0 $$aElectronic books.
001454247 7001_ $$aDrăgoi, Cezara,$$eeditor.
001454247 7001_ $$aEmmi, Michael,$$eeditor.
001454247 7001_ $$aWang, Jingbo,$$eeditor.
001454247 77608 $$iPrint version:$$aVMCAI (Conference) (24th : 2023 : Boston, Mass.), creator.$$tVerification, model checking, and abstract interpretation.$$dCham : Springer Nature Switzerland, 2023$$z9783031249495$$w(OCoLC)1359608483
001454247 830_0 $$aLecture notes in computer science ;$$v13881.
001454247 830_0 $$aLecture notes in computer science.$$pAdvanced research in computing and software science.
001454247 852__ $$bebk
001454247 85640 $$3Springer Nature$$uhttps://univsouthin.idm.oclc.org/login?url=https://link.springer.com/10.1007/978-3-031-24950-1$$zOnline Access$$91397441.1
001454247 909CO $$ooai:library.usi.edu:1454247$$pGLOBAL_SET
001454247 980__ $$aBIB
001454247 980__ $$aEBOOK
001454247 982__ $$aEbook
001454247 983__ $$aOnline
001454247 994__ $$a92$$bISE