LEADER 03461nam  22007215  450 
001 9911001467003321
005 20250502130146.0
010   $a3-031-86695-9
024 7 $a10.1007/978-3-031-86695-1
035   $a(CKB)38753309700041
035   $a(DE-He213)978-3-031-86695-1
035   $a(MiAaPQ)EBC32076166
035   $a(Au-PeEL)EBL32076166
035   $a(EXLCZ)9938753309700041
100   $a20250502d2025      u|         0
101 0 $aeng
135   $aur|||||||||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aVerified Software. Theories, Tools and Experiments $e16th International Conference, VSTTE 2024, Prague, Czech Republic, October 14?15, 2024, Revised Selected Papers /$fedited by Jonathan Protzenko, Azalea Raad
205   $a1st ed. 2025.
210  1$aCham :$cSpringer Nature Switzerland :$cImprint: Springer,$d2025.
215   $a1 online resource (IX, 121 p. 37 illus., 22 illus. in color.) 
225 1 $aLecture Notes in Computer Science,$x1611-3349 ;$v15525
311 08$a3-031-86694-0 
327   $a -- MoXIchecker: An Extensible Model Checker for MoXI.  -- Towards Verifying Security Policies for Infinite-State Systems.  -- Deductive Verification of Sparse Sets in Why3.  -- PolySAT: Word-level Bit-vector Reasoning in Z3.  -- Proof-Producing Symbolic Execution for P4.  -- Statically Inferring Usage Bounds for Infrastructure as Code.  -- hax: Verifying Security-Critical Rust Software using Multiple Provers.
330   $aThis book constitutes the refereed proceedings of the 16th International Conference on Verified Software, VSTTE 2024, held in Prague, Czech Republic, during October 14?15, 2024. The 6 full papers, as well as one invited paper, were carefully reviewed and selected for inclusion in the book. The conference received 6 submissions this year. The papers deal with the interaction of theory development, tool evolution and experimental validation in science and technology of software verification.
410  0$aLecture Notes in Computer Science,$x1611-3349 ;$v15525
606   $aComputer science
606   $aComputers
606   $aSoftware engineering
606   $aComputer systems
606   $aComputers, Special purpose
606   $aLogic programming
606   $aComputer Science Logic and Foundations of Programming
606   $aComputer Hardware
606   $aSoftware Engineering
606   $aComputer System Implementation
606   $aSpecial Purpose and Application-Based Systems
606   $aLogic in AI
615  0$aComputer science.
615  0$aComputers.
615  0$aSoftware engineering.
615  0$aComputer systems.
615  0$aComputers, Special purpose.
615  0$aLogic programming.
615 14$aComputer Science Logic and Foundations of Programming.
615 24$aComputer Hardware.
615 24$aSoftware Engineering.
615 24$aComputer System Implementation.
615 24$aSpecial Purpose and Application-Based Systems.
615 24$aLogic in AI.
676   $a004.0151
702   $aProtzenko$b Jonathan$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aRaad$b Azalea$4edt$4http://id.loc.gov/vocabulary/relators/edt
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9911001467003321
996   $aVerified Software. Theories, Tools and Experiments$93004619
997   $aUNINA