Skip to main content
SpringerLink
Log in

Structured Object-Oriented Formal Language and Method

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

  • Conference proceedings
  • © 2014

Overview

Editors:
  1. Shaoying Liu

    1. Hosei University, Koganei-shi, Tokyo, Japan

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Zhenhua Duan

    1. Technology, 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 8332)

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

Included in the following conference series:

Conference proceedings info: SOFL+MSVL 2013.

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 (13 papers)

  1. Front Matter

    Pages I-X
    Download chapter PDF

  2. Testing and Verification

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. Combining Specification-Based Testing, Correctness Proof, and Inspection for Program Verification in Practice

      • Shaoying Liu, Shin Nakajima
      Pages 3-16

    3. Theory of Test Modeling Based on Regular Expressions

      • Pan Liu, Huaikou Miao
      Pages 17-31

  3. Simulation and Model Checking

    1. Front Matter

      Pages 33-33
      Download chapter PDF

    2. Integrating Separation Logic with PPTL

      • Xu Lu, Zhenhua Duan, Cong Tian, Hongjin Liu
      Pages 35-47

    3. Improved Net Reductions for LTL\(\setminus \)X Model Checking

      • Ya Shi, Zhenhua Duan, Cong Tian, Hua Yang
      Pages 48-61

    4. Formalizing and Implementing Types in MSVL

      • Xiaobing Wang, Zhenhua Duan, Liang Zhao
      Pages 62-75

    5. Present-Future Form of Linear Time \(\mu \)-Calculus

      • Yao Liu, Zhenhua Duan, Cong Tian, Bo Liu
      Pages 76-85

  5. Formal Specification and Application

    1. Front Matter

      Pages 133-133
      Download chapter PDF

    2. An Approach to Declaring Data Types for Formal Specifications

      • Xi Wang, Shaoying Liu
      Pages 135-153

    3. Detection Method of the Second-Order SQL Injection in Web Applications

      • Lu Yan, Xiaohong Li, Ruitao Feng, Zhiyong Feng, Jing Hu
      Pages 154-165

    4. Applying SOFL to Constructing a Smart Traffic Light Specification

      • Wahyu Eko Sulistiono, Shaoying Liu
      Pages 166-174

    5. Checking Internal Consistency of SOFL Specification: A Hybrid Approach

      • Yuting Chen
      Pages 175-191

  6. Back Matter

    Pages 193-193
    Download chapter PDF
Back to top

Keywords

About this book

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.

Editors and Affiliations

  • Hosei University, Koganei-shi, Tokyo, Japan

    Shaoying Liu

  • Technology, Xidian University, Xi’an, China

    Zhenhua Duan

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation