LEADER 03434nam  22007335  450 
001 9910878055503321
005 20240726125231.0
010   $a9783031660641$b(electronic bk.)
010   $z9783031660634
024 7 $a10.1007/978-3-031-66064-1
035   $a(MiAaPQ)EBC31569905
035   $a(Au-PeEL)EBL31569905
035   $a(CKB)33468921100041
035   $a(DE-He213)978-3-031-66064-1
035   $a(EXLCZ)9933468921100041
100   $a20240726d2024      u|         0
101 0 $aeng
135   $aurcnu||||||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aVerified Software. Theories, Tools and Experiments $e15th International Conference, VSTTE 2023, Ames, IA, USA, October 23?24, 2023, Revised Selected Papers /$fedited by Andrew Reynolds, Serdar Tasiran
205   $a1st ed. 2024.
210  1$aCham :$cSpringer Nature Switzerland :$cImprint: Springer,$d2024.
215   $a1 online resource (116 pages)
225 1 $aLecture Notes in Computer Science,$x1611-3349 ;$v14095
311 08$aPrint version: Reynolds, Andrew Verified Software. Theories, Tools and Experiments Cham : Springer,c2024 9783031660634 
320   $aIncludes bibliographical references and index.
327   $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.
330   $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.
410  0$aLecture Notes in Computer Science,$x1611-3349 ;$v14095
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   $a005.14
702   $aReynolds$b Andrew
702   $aTasiran$b Serdar
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
912   $a9910878055503321
996   $aVerified Software. Theories, Tools and Experiments$93004619
997   $aUNINA