Structured Object-Oriented Formal Language and Method 11th International Workshop, SOFL+MSVL 2022, Madrid, Spain, October 24, 2022, Revised Selected Papers /
This 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 submiss...
Wedi'i Gadw mewn:
| Awdur Corfforaethol: | |
|---|---|
| Awduron Eraill: | , , |
| Fformat: | Electronig eLyfr |
| Iaith: | Saesneg |
| Cyhoeddwyd: |
Cham :
Springer International Publishing : Imprint: Springer,
2023.
|
| Rhifyn: | 1st ed. 2023. |
| Cyfres: | Lecture Notes in Computer Science,
13854 |
| Pynciau: | |
| Mynediad Ar-lein: | https://doi.org/10.1007/978-3-031-29476-1 |
| Tagiau: |
Ychwanegu Tag
Dim Tagiau, Byddwch y cyntaf i dagio'r cofnod hwn!
|
Tabl Cynhwysion:
- 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.