LEADER 03260nam 22006375 450 001 9910588593203321 005 20251113194739.0 010 $a9783031150777 010 $a3031150775 024 7 $a10.1007/978-3-031-15077-7 035 $a(MiAaPQ)EBC7076813 035 $a(Au-PeEL)EBL7076813 035 $a(CKB)24735739200041 035 $a(PPN)264191447 035 $a(OCoLC)1342502458 035 $a(DE-He213)978-3-031-15077-7 035 $a(EXLCZ)9924735739200041 100 $a20220822d2022 u| 0 101 0 $aeng 135 $aurcnu|||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aModel Checking Software $e28th International Symposium, SPIN 2022, Virtual Event, May 21, 2022, Proceedings /$fedited by Owolabi Legunsen, Grigore Rosu 205 $a1st ed. 2022. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2022. 215 $a1 online resource (161 pages) 225 1 $aLecture Notes in Computer Science,$x1611-3349 ;$v13255 311 08$aPrint version: Legunsen, Owolabi Model Checking Software Cham : Springer International Publishing AG,c2022 9783031150760 327 $aAutomated Consistency Analysis for Legal Contracts -- Monitoring Cyber-Physical Systems using a Tiny Twin to Prevent Cyber-Attacks -- Synthesis of Rigorous Floating-Point Predicates -- Statistical Model Checking for Probabilistic Hyperproperties of Real-Valued Signals -- SpecRepair: Counter-Example Guided Safety Repair of Deep Neural Networks -- Verifying the SHA-3 Implementation from OpenSSL with the Software Analysis Workbench -- Bounded-Memory Runtime Enforcement -- Solving String Theories involving Regular Membership Predicates using SAT. 330 $aThis book constitutes the refereed proceedings of the 28th International Symposium on Model Checking Software, SPIN 2022, held virtually in May 2022. The 8 full papers were carefully reviewed and selected from 11 submissions. Topics covered include formal verification techniques for automated analysis of software; formal analysis for modeling languages, such as UML/state charts; formal specification languages, temporal logic, design-by-contract; model checking, automated theorem proving, including SAT and SMT; verifying compilers; abstraction and symbolic execution techniques; and much more. 410 0$aLecture Notes in Computer Science,$x1611-3349 ;$v13255 606 $aSoftware engineering 606 $aArtificial intelligence 606 $aComputer engineering 606 $aComputer networks 606 $aSoftware Engineering 606 $aArtificial Intelligence 606 $aComputer Engineering and Networks 615 0$aSoftware engineering. 615 0$aArtificial intelligence. 615 0$aComputer engineering. 615 0$aComputer networks. 615 14$aSoftware Engineering. 615 24$aArtificial Intelligence. 615 24$aComputer Engineering and Networks. 676 $a003.3 702 $aRos?u$b Grigore 702 $aLegunsen$b Owolabi 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910588593203321 996 $aModel Checking Software$93359484 997 $aUNINA