Structured Object-Oriented Formal Language and Method

4th International Workshop, SOFL+MSVL 2014, Luxembourg, Luxembourg, November 6, 2014, Revised Selected Papers

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

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

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

Table of contents

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

  3. Model Checking and Animation

    1. Front Matter
      Pages 47-47
    2. Bin Yu, Zhenhua Duan, Cong Tian
      Pages 49-61
    3. Yunqing Wen, Guoqiang Li, Shoji Yuen
      Pages 62-80
  4. Education and Verification

    1. Front Matter
      Pages 95-95
    2. Xiaofei Xie, Xiaohong Li, Yang Liu, Li Li, Ruitao Feng, Zhiyong Feng
      Pages 111-126
  5. Semantics and Analysis

    1. Front Matter
      Pages 145-145
    2. Zhen You, Jinyun Xue, Qimin Hu, Yi Hong
      Pages 147-163
    3. Yuting Chen, Qiuwei Shi, Weikai Miao
      Pages 164-178
    4. Kai Yang, Zhenhua Duan, Cong Tian
      Pages 179-188
  6. Back Matter
    Pages 189-189

About these proceedings


This book constitutes the thoroughly refereed post-workshop proceedings of the 4th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2014, held in Luxembourg, Luxembourg, in November 2014.

The 12 papers presented in this volume were carefully reviewed and selected from 20 submissions. They are organized in topical sections on testing and inspection; model checking and animation; education and verification; and semantics and analysis.


Analysis Constraint solving Formal engineering methods Formal methods Formal semantics Formal specification Formal verification Inspection Model checking Parallel programming SOFL - software engineering Satisfiability Software specification Software testing Software verification Specification Tabu list Temporal logic Testing

Editors and affiliations

  • Shaoying Liu
    • 1
  • Zhenhua Duan
    • 2
  1. 1.Hosei UniversityTokyoJapan
  2. 2.Xidian UniversityXi’anChina

Bibliographic information

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