Skip to main content
SpringerLink
Log in
Book cover

Structured Object-Oriented Formal Language and Method

9th International Workshop, SOFL+MSVL 2019, Shenzhen, China, November 5, 2019, Revised Selected Papers

  • Conference proceedings
  • © 2020

Overview

Editors:
  1. Huaikou Miao

    1. School of Computer Engineering and Science, Shanghai University, Shanghai, China

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Cong Tian

    1. Institute of Computing Theory and Technology, Xidian University, Xi'an, China

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Shaoying Liu

    1. Hosei University, Tokyo, Japan

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Zhenhua Duan

    1. Xidian University, Xi'an, China

    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 12028)

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

Included in the following conference series:

Conference proceedings info: SOFL+MSVL 2019.

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 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.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 (23 papers)

  1. Front Matter

    Pages i-ix
    Download chapter PDF

  3. Formal Verification

    1. Front Matter

      Pages 59-59
      Download chapter PDF

    2. An Approach to Modeling and Verifying Multi-level Interrupt Systems with TMSVL

      • Jin Cui, Xu Lu, Buwen Liang
      Pages 61-72

    3. Towards Formal Verification of Neural Networks: A Temporal Logic Based Framework

      • Xiaobing Wang, Kun Yang, Yanmei Wang, Liang Zhao, Xinfeng Shu
      Pages 73-87

    4. UMC4M: A Verification Tool via Program Execution

      • Meng Wang, Junfeng Tian, Hong Zhang
      Pages 88-98

    5. Parallel Runtime Verification Approach for Alternate Execution of Multiple Threads

      • Bin Yu, Jinhui Liu, Ming Lei, Yong Yu, Hao Chen
      Pages 99-109

  4. Problem Solving

    1. Front Matter

      Pages 111-111
      Download chapter PDF

    2. A Planning Approach Based on APTL

      • Haiyang Wang, Yao Liu
      Pages 113-122

    3. Solving Constraint Optimization Problems Based on Mathematica and Abstraction

      • Guoteng Pan, Mengjun Li, Guodong Ou
      Pages 123-140

    4. A Forward Chaining Heuristic Search with Spatio-Temporal Control Knowledge

      • Xu Lu, Jin Cui, Yansong Dong, Wensheng Wang, Runzhe Ma, Yifeng Li et al.
      Pages 141-154

    5. Formal Development and Verification of Reusable Component in PAR Platform

      • Qimin Hu, Jinyun Xue, Zhen You, Zhuo Cheng, Zhengkang Zuo
      Pages 155-166

    6. A New Mutant Generation Algorithm Based on Basic Path Coverage for Mutant Reduction

      • Xu Qin, Shaoying Liu, Zhang Tao
      Pages 167-186

    7. Formal Specification and Model Checking of a Ride-sharing System in Maude

      • Eiichi Muramoto, Kazuhiro Ogata, Yoichi Shinoda
      Pages 187-204

    8. Model Checking Python Programs with MSVL

      • Xinfeng Shu, Fengyun Gao, Weiran Gao, Lili Zhang, Xiaobing Wang, Liang Zhao
      Pages 205-224

  5. Software Analysis and Evolution

    1. Front Matter

      Pages 225-225
      Download chapter PDF
Back to top

Keywords

About this book

This book constitutes the thoroughly refereed workshop proceedings of the 9th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2019, held in Shenzhen, China, in November 2019. The 23 revised full papers included in the volume were carefully reviewed and selected from 43 submissions. They are organized in the following topical sections: testing and debugging, formal verification, problem solving, software analysis and evolution, and software analysis and testing.

Editors and Affiliations

  • School of Computer Engineering and Science, Shanghai University, Shanghai, China

    Huaikou Miao

  • Institute of Computing Theory and Technology, Xidian University, Xi'an, China

    Cong Tian

  • Hosei University, Tokyo, Japan

    Shaoying Liu

  • Xidian University, Xi'an, China

    Zhenhua Duan

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation