Structured Object-Oriented Formal Language and Method

6th International Workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016, Revised Selected Papers

  • Shaoying Liu
  • Zhenhua Duan
  • Cong Tian
  • Fumiko Nagoya
Conference proceedings SOFL+MSVL 2016

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

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

Table of contents

  1. Front Matter
    Pages I-X
  2. Modeling and Specification

    1. Front Matter
      Pages 1-1
    2. Zhen You, Jinyun Xue
      Pages 3-14
    3. Yuwei Wang, Xiuting Tao, Guoqiang Li
      Pages 15-31
    4. Qingguo Xu, Huaikou Miao, Robert de Simone, Julien DeAntoni
      Pages 32-51
  3. Animation and Prototyping

    1. Front Matter
      Pages 53-53
  4. Verification and Validation

    1. Front Matter
      Pages 99-99
    2. Ren Zhao, Xiaohong Li, Guangquan Xu, Zhiyong Feng, Jianye Hao
      Pages 101-120
    3. Lin Qian, Zhenhua Duan, Nan Zhang, Cong Tian
      Pages 121-143
    4. Xiaobing Wang, Dongmiao Liu, Liang Zhao, Yina Xue
      Pages 144-159
    5. Juan Luo, Shaoying Liu, Yanqin Wang, Tingliang Zhou
      Pages 160-177
  5. Model Checking

    1. Front Matter
      Pages 179-179
    2. Ha Thi Thu Doan, François Bonnet, Kazuhiro Ogata
      Pages 201-219
    3. Xinfeng Shu, Chao Li, Chang Liu
      Pages 220-237
  6. Back Matter
    Pages 239-239

About these proceedings


This book constitutes revised selected papers from the 6th International Workshop on Structures Object-Oriented Formal Language and Method, SOFL+MSVL 2016, held in Tokyo, Japan, in November 2016.
The 13 papers presented in this volume were carefully reviewed and selected from 26 submissions. They are organized in topical sections named: modeling and specification; animation and prototyping; verification and validation; and model checking. 


software engineering specifications specification languages formal methods model checking embedded systems semantics computer programming languages robots verification software development problem solving

Editors and affiliations

  • Shaoying Liu
    • 1
  • Zhenhua Duan
    • 2
  • Cong Tian
    • 3
  • Fumiko Nagoya
    • 4
  1. 1.Hosei UniversityTokyoJapan
  2. 2.Xidian UniversityXi'an, ShaanxiChina
  3. 3.Xidian UniversityXi'anChina
  4. 4.Nihon UniversityTokyoJapan

Bibliographic information

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