Skip to main content
SpringerLink
Log in

Structured Object-Oriented Formal Language and Method

5th International Workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015. Revised Selected Papers

  • Conference proceedings
  • © 2016

Overview

Editors:
  1. Shaoying Liu

    1. Hosei University, Koganei-shi, Japan

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Zhenhua Duan

    1. Xidian University, Xi’an, China

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

Included in the following conference series:

Conference proceedings info: SOFL+MSVL 2015.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (15 papers)

  1. Front Matter

    Pages I-VIII
    Download chapter PDF

  2. Modeling and Specification

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. Genericity in PAR Platform

      • Jinyun Xue
      Pages 3-14

    3. Modeling and Verification of an Interrupt System in \(\mu \)C/OS-III with TMSVL

      • Jin Cui, Zhenhua Duan, Cong Tian, Nan Zhang
      Pages 15-28

    4. The Interchange Format of Tabular Expressions Using XML

      • Mao Huang, Yihai Chen, Ridha Khedri, Huaikou Miao
      Pages 29-43

    5. A GUI-Aided Approach to Formal Specification Construction

      • Shaoying Liu
      Pages 44-56

  4. Model Checking and Verification

    1. Front Matter

      Pages 101-101
      Download chapter PDF

    2. Model Checking Process Scheduling over Multi-core Computer System with MSVL

      • Xinfeng Shu, Zhenhua Duan
      Pages 103-117

    3. A Method Based on MSVL for Verification of the Social Network Privacy Policy

      • Xiaobing Wang, Tao Sun
      Pages 118-131

    4. A Case Study: SOFL + Model Checking for OSEK/VDX Application

      • Zhuo Cheng, Haitao Zhang, Yasuo Tan, Yuto Lim
      Pages 132-146

    5. On Reachability Analysis of Updatable Timed Automata with One Updatable Clock

      • Yunqing Wen, Guoqiang Li, Shoji Yuen
      Pages 147-161

  5. Algorithm and Transformation

    1. Front Matter

      Pages 163-163
      Download chapter PDF

    2. Research on Formal Development of Non-recursive Algorithms of Graph Search

      • Qimin Hu, Jinyun Xue, Zhen You
      Pages 165-178

    3. LtlNfBa: Making LTL Translation More Practical

      • Cong Tian, Jun Song, Zhenhua Duan, Zhao Duan
      Pages 179-194

    4. PPTL_SPIN: A SPIN Based Model Checker for Propositional Projection Temporal Logic

      • Xiaoming Zhang, Zhenhua Duan, Cong Tian
      Pages 195-205

    5. Automatic Transformation from SOFL Module Specifications to Program Structures

      • Xiongwen Luo, Shaoying Liu
      Pages 206-218
Back to top

Keywords

About this book

This book constitutes the thoroughly refereed post-workshop proceedings of the 5th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2015, held in Paris, France, in November 2015. The 15 papers presented in this volume were carefully reviewed and selected from 22 submissions. The focus of this workshops was on following subjects: Modeling, specification, verification, model checking, testing, debugging, transformation, and algorithm.

Editors and Affiliations

  • Hosei University, Koganei-shi, Japan

    Shaoying Liu

  • Xidian University, Xi’an, China

    Zhenhua Duan

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation