Structured Object-Oriented Formal Language and Method

Third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013, Revised Selected Papers

  • Shaoying Liu
  • Zhenhua Duan
Conference proceedings SOFL+MSVL 2013

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

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

Table of contents

  1. Front Matter
    Pages I-X
  2. Testing and Verification

  3. Simulation and Model Checking

    1. Front Matter
      Pages 33-33
    2. Xu Lu, Zhenhua Duan, Cong Tian, Hongjin Liu
      Pages 35-47
    3. Ya Shi, Zhenhua Duan, Cong Tian, Hua Yang
      Pages 48-61
    4. Xiaobing Wang, Zhenhua Duan, Liang Zhao
      Pages 62-75
    5. Yao Liu, Zhenhua Duan, Cong Tian, Bo Liu
      Pages 76-85
  4. SOFL Tools

  5. Formal Specification and Application

    1. Front Matter
      Pages 133-133
    2. Lu Yan, Xiaohong Li, Ruitao Feng, Zhiyong Feng, Jing Hu
      Pages 154-165
    3. Wahyu Eko Sulistiono, Shaoying Liu
      Pages 166-174
  6. Back Matter
    Pages 193-193

About these proceedings


This book constitutes revised selected papers from the Third International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2013, held in Queenstown, New Zealand, in October 2013. The 13 papers presented in this volume were carefully reviewed and selected from 22 submissions. They are organized in topical sections on testing and verification, simulation and model checking, SOFL tools, and formal specification and application.


Modeling, Simulation and Verification Language formal methods model checking parallel programming languages software creation and management software engineering software specification software testing software verification and validation structures object-oriented formal language verification by model checking

Editors and affiliations

  • Shaoying Liu
    • 1
  • Zhenhua Duan
    • 2
  1. 1.Hosei UniversityKoganei-shi, TokyoJapan
  2. 2.TechnologyXidian UniversityXi’anChina

Bibliographic information

  • DOI
  • Copyright Information Springer International Publishing Switzerland 2014
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-319-04914-4
  • Online ISBN 978-3-319-04915-1
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
IT & Software