![Cover image for Structured Object-Oriented Formal Language and Method 11th International Workshop, SOFL+MSVL 2022, Madrid, Spain, October 24, 2022, Revised Selected Papers Cover image for Structured Object-Oriented Formal Language and Method 11th International Workshop, SOFL+MSVL 2022, Madrid, Spain, October 24, 2022, Revised Selected Papers](/client/assets/5.0.0.9/ctx//client/images/no_image.png)
Title:
Structured Object-Oriented Formal Language and Method 11th International Workshop, SOFL+MSVL 2022, Madrid, Spain, October 24, 2022, Revised Selected Papers
Author:
Liu, Shaoying. editor.
ISBN:
9783031294761
Edition:
1st ed. 2023.
Physical Description:
XII, 151 p. 59 illus., 24 illus. in color. online resource.
Series:
Lecture Notes in Computer Science, 13854
Contents:
Model 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.
Added Corporate Author:
Electronic Access:
https://doi.org/10.1007/978-3-031-29476-1Copies:
Available:*
Library | Material Type | Item Barcode | Shelf Number | Status | Item Holds |
---|---|---|---|---|---|
Searching... | E-Book | 520911-1001 | XX(520911.1) | Searching... | Searching... |