Skip to:Content
|
Bottom
Cover image for Structured Object-Oriented Formal Language and Method 11th International Workshop, SOFL+MSVL 2022, Madrid, Spain, October 24, 2022, Revised Selected Papers
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:
Holds:
Copies:

Available:*

Library
Material Type
Item Barcode
Shelf Number
Status
Item Holds
Searching...
E-Book 520911-1001 XX(520911.1)
Searching...

On Order

Go to:Top of Page