Structured Object-Oriented Formal Language and Method

8th International Workshop, SOFL+MSVL 2018, Gold Coast, QLD, Australia, November 16, 2018, Revised Selected Papers

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

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

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

Table of contents

  1. Front Matter
    Pages I-VIII
  2. Programming and Testing

  3. Verification and Validation

    1. Front Matter
      Pages 53-53
    2. Xiaobing Wang, Wenxuan Guo, Liang Zhao, Xinfeng Shu
      Pages 55-70
    3. Yufei Yin, Shaoying Liu, Yixiang Chen
      Pages 71-88
    4. Xinfeng Shu, Na Luo, Bo Wang, Xiaobing Wang, Liang Zhao
      Pages 89-107
    5. Zhen You, Zhuo Cheng, Jinyun Xue, Qimin Hu, Wuping Xie
      Pages 108-122
  4. Semantics

    1. Front Matter
      Pages 123-123
    2. Ai Liu, Shun Wang, Yi Li, Meng Sun
      Pages 146-165
  5. Blockchain

    1. Front Matter
      Pages 167-167
    2. Jingyao Tu, Zhenhua Duan, Cong Tian, Nan Zhang, Ying Wu
      Pages 169-182
  6. Back Matter
    Pages 197-197

About these proceedings


This book constitutes the thoroughly refereed workshop proceedings of the 8th International Workshop on Structured Object-Oriented Formal Language and 
Method, SOFL+MSVL 2018, held in Gold Coast, QLD, Australia, in November 2018.
The 11 revised full papers included in the volume were carefully reviewed and selected from 21 submissions. They are organized in the following topical sections: programming and testing; verification and validation; semantics; and blockchain.


formal engineering methods formal specification formal verification inspection specification animation analysis model checking testing semantics software engineering software evaluation theorem proving formal logic verification data security specifications

Editors and affiliations

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

Bibliographic information

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