03088nam a22005775i 4500001001800000003000900018005001700027007001500044008004100059020003700100024003500137050001700172072001600189072002300205072001500228245023200243250001800475264006900493300006400562336002600626337002600652338003600678347002400714490005900738505041800797520041901215650002901634650002201663650003301685650002201718650003201740650003001772650006601802650003001868650003301898650003601931650005101967650002402018700008602042700008502128710003402213773002602247776003602273776003602309830005902345856004602404912001402450912001502464912001402479999001702493978-3-031-66064-1DE-He21320251030112652.0cr nn 008mamaa240726s2024    sz |    s    |||| 0|eng d  a97830316606419978-3-031-66064-17 a10.1007/978-3-031-66064-12doi 4aQA75.5-76.95 7aUYA2bicssc 7aCOM0140002bisacsh 7aUYA2thema10aVerified Software. Theories, Tools and Experimentsh[electronic resource] :b15th International Conference, VSTTE 2023, Ames, IA, USA, October 23–24, 2023, Revised Selected Papers /cedited by Andrew Reynolds, Serdar Tasiran.  a1st ed. 2024. 1aCham :bSpringer Nature Switzerland :bImprint: Springer,c2024.  aIX, 109 p. 77 illus., 17 illus. in color.bonline resource.  atextbtxt2rdacontent  acomputerbc2rdamedia  aonline resourcebcr2rdacarrier  atext filebPDF2rda1 aLecture Notes in Computer Science,x1611-3349 ;v140950 aPicky CDCL: SMT-solving With Flexible Literal Selection -- Safety Performance of Neural Networks in the Presence of Covariate Shift -- Pierce: A Testing Tool for Neural Network Verification Solvers -- Specifying and Verifying a Real-World Packet Error-Correction System -- Formally Verified ZTA Requirements for OT/ICS Environments with Isabelle/HOL -- Provable Determinism for Software in Cyber-Physical Systems.  aThis book constitutes the refereed proceedings of the 15th International Conference on Verified Software, VSTTE 2023, held in Ames, IA, USA, October 23–24, 2023. The 6 full papers presented in this volume were carefully reviewed and selected from 13 submissions. They focus on requirements modeling, specification languages, software design methods, automatic code generation, refinement methodologies, and more. 0aComputer science.958552 0aComputers.965793 0aSoftware engineering.933953 0aComputer systems. 0aComputers, Special purpose. 0aLogic programming.96666414aComputer Science Logic and Foundations of Programming.96817324aComputer Hardware.96579624aSoftware Engineering.93395324aComputer System Implementation.24aSpecial Purpose and Application-Based Systems.24aLogic in AI.9666651 aReynolds, Andrew.eeditor.4edt4http://id.loc.gov/vocabulary/relators/edt9813571 aTasiran, Serdar.eeditor.4edt4http://id.loc.gov/vocabulary/relators/edt9813582 aSpringerLink (Online service)0 tSpringer Nature eBook08iPrinted edition:z978303166063408iPrinted edition:z9783031660658 0aLecture Notes in Computer Science,x1611-3349 ;v1409540uhttps://doi.org/10.1007/978-3-031-66064-1  aZDB-2-SCS  aZDB-2-SXCS  aZDB-2-LNC  c61946d61946