LEADER 01421nam 2200385 450 001 9910135185503321 005 20230807213509.0 010 $a1-4673-7891-7 035 $a(CKB)3780000000083151 035 $a(WaSeSS)IndRDA00120112 035 $a(EXLCZ)993780000000083151 100 $a20200312d2015 uy 0 101 0 $aeng 135 $aur||||||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$a2015 IEEE International Conference on Networking, Architecture and Storage $e6-7 August 2015, Boston, MA, USA /$fsponsored by IEEE Computer Society 210 1$aPiscataway, New Jersey :$cInstitute of Electrical and Electronics Engineers,$d2015. 215 $a1 online resource (304 pages) 311 $a1-4673-7892-5 606 $aInformation storage and retrieval systems$vCongresses 606 $aComputer networks$xDesign and construction$vCongresses 606 $aComputer network architectures$vCongresses 615 0$aInformation storage and retrieval systems 615 0$aComputer networks$xDesign and construction 615 0$aComputer network architectures 676 $a025.04 712 02$aIEEE Computer Society, 801 0$bWaSeSS 801 1$bWaSeSS 906 $aPROCEEDING 912 $a9910135185503321 996 $a2015 IEEE International Conference on Networking, Architecture and Storage$92521645 997 $aUNINA LEADER 04437nam 22007575 450 001 9910799207203321 005 20240701122030.0 010 $a9783031505249 010 $a3031505247 024 7 $a10.1007/978-3-031-50524-9 035 $a(MiAaPQ)EBC31051283 035 $a(Au-PeEL)EBL31051283 035 $a(DE-He213)978-3-031-50524-9 035 $a(CKB)29510229900041 035 $a(OCoLC)1416699884 035 $a(EXLCZ)9929510229900041 100 $a20231229d2024 u| 0 101 0 $aeng 135 $aurcnu|||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aVerification, Model Checking, and Abstract Interpretation $e25th International Conference, VMCAI 2024, London, United Kingdom, January 15?16, 2024, Proceedings, Part I /$fedited by Rayna Dimitrova, Ori Lahav, Sebastian Wolff 205 $a1st ed. 2024. 210 1$aCham :$cSpringer Nature Switzerland :$cImprint: Springer,$d2024. 215 $a1 online resource (361 pages) 225 1 $aLecture Notes in Computer Science,$x1611-3349 ;$v14499 311 08$aPrint version: Dimitrova, Rayna Verification, Model Checking, and Abstract Interpretation Cham : Springer International Publishing AG,c2024 9783031505232 327 $aAbstract Interpretation -- Formal Runtime Error Detection During Development in the Automotive Industry -- Abstract Interpretation-Based Feature Importance for Support Vector Machines -- Generation of Violation Witnesses by Under-Approximating Abstract Interpretation -- Correctness Witness Validation by Abstract Interpretation -- Infinite-State Systems -- Project and Conquer: Fast Quantifier Elimination for Checking Petri Net Reachability -- Parameterized Verification of Disjunctive Timed Networks -- Resilience and Home-Space for WSTS -- Model Checking and Synthesis -- Generic Model Checking for Modal Fixpoint Logics in COOL-MC -- Model-Guided Synthesis for LTL over Finite Traces -- Solving Two-Player Games under Progress Assumptions -- AT, SMT, and Automated Reasoning Interpolation and Quantifiers in Ortholattices -- Function Synthesis for Maximizing Model Counting -- Boosting Constrained Horn Solving by Unsat Core Learning -- On the Verification of a Subgraph Construction Algorithm -- Efficient Local Search for Nonlinear Real Arithmetic. 330 $aThe two-volume set LNCS 14499 and 14500 constitutes the proceedings of the 25th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2024, which took place in London, Ontario, Canada, in January 2024. The 30 full papers presented in the proceedings were carefully reviewed and selected from 74 submissions. They were organized in topical sections as follows: Part I: Abstract interpretation; infinite-state systems; model checking and synthesis; SAT, SMT, and automated reasoning; Part II: Concurrency; neural networks; probabilistic and quantum programs; program and system verification; runtime verification; security and privacy. 410 0$aLecture Notes in Computer Science,$x1611-3349 ;$v14499 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 $a004.0151 700 $aDimitrova$b Rayna$01586264 701 $aLahav$b Ori$01586265 701 $aWolff$b Sebastian$01586266 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910799207203321 996 $aVerification, Model Checking, and Abstract Interpretation$93872614 997 $aUNINA