© 2013

Structured Object-Oriented Formal Language and Method

Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012. Revised Selected Papers

  • Shaoying Liu
Conference proceedings SOFL 2012

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

Table of contents

  1. Front Matter
  2. Testing and Tools

  3. Tools for Specification

  4. Model Checking

    1. Cong Tian, Shaoying Liu, Zhenhua Duan
      Pages 71-86
    2. Yan Yu, Zhenhua Duan, Cong Tian, Mengfei Yang
      Pages 87-103
  5. Application and Prototyping

    1. Fumiko Nagoya, Tetsuo Kitagawa
      Pages 104-115
    2. Chung-Ling Ling, Wuwei Shen, Dionysios Kountanis
      Pages 116-132
    3. Yisheng Wang, Haopeng Chen
      Pages 133-147
  6. Back Matter

About these proceedings


This book constitutes the thoroughly refereed post-conference proceedings of the Second International Workshop on Structured Object-Oriented Formal Language, SOFL 2012, held in Kyoto, Japan, in November 2012. The 10 full papers presented were carefully reviewed and selected for inclusion in this book and address the following topics of interest: testing and tools; tools for specification; model checking; and application and prototyping.


functional scenario modeling approach tempporal logic testing verification

Editors and affiliations

  • Shaoying Liu
    • 1
  1. 1.Faculty of Computer and Information Sciences, Department of Computer ScienceHosei UniversityTokyoJapan

Bibliographic information

Industry Sectors
IT & Software