© 2020

Structured Object-Oriented Formal Language and Method

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

  • Huaikou Miao
  • Cong Tian
  • Shaoying Liu
  • Zhenhua Duan
Conference proceedings SOFL+MSVL 2019

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

Also part of the Theoretical Computer Science and General Issues book sub series (LNTCS, volume 12028)

Table of contents

  1. Front Matter
    Pages i-ix
  2. Testing and Debugging

  3. Formal Verification

    1. Front Matter
      Pages 59-59
    2. Xiaobing Wang, Kun Yang, Yanmei Wang, Liang Zhao, Xinfeng Shu
      Pages 73-87
    3. Meng Wang, Junfeng Tian, Hong Zhang
      Pages 88-98
    4. Bin Yu, Jinhui Liu, Ming Lei, Yong Yu, Hao Chen
      Pages 99-109
  4. Problem Solving

    1. Front Matter
      Pages 111-111
    2. Haiyang Wang, Yao Liu
      Pages 113-122
    3. Guoteng Pan, Mengjun Li, Guodong Ou
      Pages 123-140
    4. Xu Lu, Jin Cui, Yansong Dong, Wensheng Wang, Runzhe Ma, Yifeng Li et al.
      Pages 141-154
    5. Qimin Hu, Jinyun Xue, Zhen You, Zhuo Cheng, Zhengkang Zuo
      Pages 155-166
    6. Eiichi Muramoto, Kazuhiro Ogata, Yoichi Shinoda
      Pages 187-204
    7. 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

About these proceedings


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.


architecting architecture verification and validation artificial intelligence computer hardware computer networks computer programming computer science computer systems distributed computer systems embedded systems engineering formal logic internet mathematics object-oriented programming software software architecture software design software engineering software quality

Editors and affiliations

  • Huaikou Miao
    • 1
  • Cong Tian
    • 2
  • Shaoying Liu
    • 3
  • Zhenhua Duan
    • 4
  1. 1.School of Computer Engineering and ScienceShanghai UniversityShanghaiChina
  2. 2.Institute of Computing Theory and TechnologyXidian UniversityXi'anChina
  3. 3.Hosei UniversityTokyoJapan
  4. 4.Xidian UniversityXi'anChina

Bibliographic information

Industry Sectors
Chemical Manufacturing
IT & Software
Finance, Business & Banking
Energy, Utilities & Environment