LEADER 04364nam  22007695  450 
001 9910683344103321
005 20251113193210.0
010   $a9783031294761$b(electronic bk.)
010   $z9783031294754
024 7 $a10.1007/978-3-031-29476-1
035   $a(MiAaPQ)EBC7219678
035   $a(Au-PeEL)EBL7219678
035   $a(OCoLC)1374205160
035   $a(DE-He213)978-3-031-29476-1
035   $a(PPN)269092862
035   $a(CKB)26323401600041
035   $a(EXLCZ)9926323401600041
100   $a20230324d2023      u|         0
101 0 $aeng
135   $aurcnu||||||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aStructured Object-Oriented Formal Language and Method $e11th International Workshop, SOFL+MSVL 2022, Madrid, Spain, October 24, 2022, Revised Selected Papers /$fedited by Shaoying Liu, Zhenhua Duan, Ai Liu
205   $a1st ed. 2023.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2023.
215   $a1 online resource (155 pages)
225 1 $aLecture Notes in Computer Science,$x1611-3349 ;$v13854
311 08$aPrint version: Liu, Shaoying Structured Object-Oriented Formal Language and Method Cham : Springer International Publishing AG,c2023 9783031294754 
320   $aIncludes bibliographical references and index.
327   $aModel Checking & Markov Decision Process -- Formal Derivation and Verification of Critical Path Algorithm for Directed Acyclic Graph -- An Approach of Transforming Non-Markovian Reward to Markovian Reward -- A JPSL based Model Checking Approach for Java Programs -- Model Analysis & Tool Implementation -- Implementation of Matlab matfun Toolkit Based on MSVL -- Extending Visibly Pushdown Automata over Multi-matching Nested Relations -- Schedulability analysis of rate-monotonic algorithm on concurrent execution of digraph real-time tasks -- Formal Specification & Testing -- Formalization of natural language into PPTL specification via neural machine translation -- Testing Program Segments to Detect Runtime Exceptions in Java -- Inferring Exact Domains to Efficiently Generate Valid Test Cases via Testing -- Algorithms & Verification -- Testing and Verifying the security of COVID-19 CT Images Deep Learning System with Adversarial Attack -- Verifying and improving neural networks using testing-based formal verification -- Alternating Projection Temporal Epistemic Logic.
330   $aThis book constitutes the refereed workshop proceedings of the 11th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2022, held in Madrid, in October 2022. The 12 revised full papers included in the volume were carefully reviewed and selected from 26 submissions. They are organized in the following topical sections: Model Checking & Markov Decision Process; Model Analysis & Tool Implementation; Formal Specification & Testing; Algorithms & Verification. .
410  0$aLecture Notes in Computer Science,$x1611-3349 ;$v13854
606   $aSoftware engineering
606   $aOperating systems (Computers)
606   $aComputer networks
606   $aComputers, Special purpose
606   $aComputer systems
606   $aMicroprogramming
606   $aSoftware Engineering
606   $aOperating Systems
606   $aComputer Communication Networks
606   $aSpecial Purpose and Application-Based Systems
606   $aComputer System Implementation
606   $aControl Structures and Microprogramming
615  0$aSoftware engineering.
615  0$aOperating systems (Computers)
615  0$aComputer networks.
615  0$aComputers, Special purpose.
615  0$aComputer systems.
615  0$aMicroprogramming.
615 14$aSoftware Engineering.
615 24$aOperating Systems.
615 24$aComputer Communication Networks.
615 24$aSpecial Purpose and Application-Based Systems.
615 24$aComputer System Implementation.
615 24$aControl Structures and Microprogramming.
676   $a004.0151
702  2$aLiu$b Shaoying
702   $aDuan$b Zhenhua
702   $aLiu$b Ai
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
912   $a9910683344103321
996   $aStructured Object-Oriented Formal Language and Method$93084063
997   $aUNINA