Skip to main content
SpringerLink
Log in

Structured Object-Oriented Formal Language and Method

11th International Workshop, SOFL+MSVL 2022, Madrid, Spain, October 24, 2022, Revised Selected Papers

  • Conference proceedings
  • © 2023

Overview

Editors:
  1. Shaoying Liu

    1. Hiroshima University, Hiroshima, Japan

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Zhenhua Duan

    1. Xidian University, Xi’an, China

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Ai Liu

    1. Hiroshima University, Hiroshima, Japan

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 13854)

Included in the following conference series:

Conference proceedings info: SOFL+MSVL 2022.

  • 1820 Accesses

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 44.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 59.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (12 papers)

  1. Front Matter

    Pages i-xii
    Download chapter PDF

  2. Model Checking and Markov Decision Process

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. Formal Derivation and Verification of Critical Path Algorithm for Directed Acyclic Graph

      • Zhen You, Xinwu Yi, Jinyun Xue, Hongwen Hu, Jiewen Huang, Zhuo Cheng
      Pages 3-11

    3. An Approach of Transforming Non-Markovian Reward to Markovian Reward

      • Ruixuan Miao, Xu Lu, Jin Cui
      Pages 12-29

    4. A JPSL Based Model Checking Approach for Java Programs

      • XinFeng Shu, YanLin Li, WeiRan Gao
      Pages 30-49

  3. Model Analysis and Tool Implementation

    1. Front Matter

      Pages 51-51
      Download chapter PDF

    2. Implementation of Matlab matfun Toolkit Based on MSVL

      • Xueqing Feng, Nan Zhang, Zhenhua Duan
      Pages 53-58

    3. Extending Visibly Pushdown Automata over Multi-matching Nested Relations

      • Jin Liu, Yeqiu Xiao, Haiyang Wang, Wensheng Wang
      Pages 59-69

    4. Schedulability Analysis of Rate-Monotonic Algorithm on Concurrent Execution of Digraph Real-Time Tasks

      • Jin Cui, Xu Lu, Guangliang Yu, Bin Yu
      Pages 70-76

  4. Formal Specification and Testing

    1. Front Matter

      Pages 77-77
      Download chapter PDF

    2. Formalization of Natural Language into PPTL Specification via Neural Machine Translation

      • Chunyi Li, Jiajun Chang, Xiaobing Wang, Liang Zhao, Wenjie Mao
      Pages 79-92

    3. Testing Program Segments to Detect Runtime Exceptions in Java

      • Lei Rao, Shaoying Liu, Ai Liu
      Pages 93-105

    4. Inferring Exact Domains to Efficiently Generate Valid Test Cases via Testing

      • Chu Chen, Xuan Wang, Pinghong Ren, Zhenhua Duan, Cong Tian, Xu Lu et al.
      Pages 106-116

  5. Algorithms and Verification

    1. Front Matter

      Pages 117-117
      Download chapter PDF

    2. Testing and Verifying the Security of COVID-19 CT Images Deep Learning System with Adversarial Attack

      • Yang Li, Shaoying Liu
      Pages 119-125

    3. Verifying and Improving Neural Networks Using Testing-Based Formal Verification

      • Haiyi Liu, Shaoying Liu, Ai Liu, Dingbang Fang, Guangquan Xu
      Pages 126-141

    4. Alternating Projection Temporal Epistemic Logic

      • Haiyang Wang, Jin Liu, Jing Liu
      Pages 142-149

  6. Back Matter

    Pages 151-151
    Download chapter PDF
Back to top

Keywords

About this book

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 submissions. They are organized in the following topical sections: Model Checking & Markov Decision Process; Model Analysis & Tool Implementation; Formal Specification & Testing; Algorithms & Verification.



  .

Editors and Affiliations

  • Hiroshima University, Hiroshima, Japan

    Shaoying Liu, Ai Liu

  • Xidian University, Xi’an, China

    Zhenhua Duan

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation