Structured Object-Oriented Formal Language and Method: Third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013, Revised Selected Papers

✍ Scribed by Shaoying Liu, Zhenhua Duan (eds.)

• Publisher: Springer International Publishing
• Year: 2014
• Tongue: English
• Leaves: 193
• Series: Lecture Notes in Computer Science 8332 Theoretical Computer Science and General Issues
• Edition: 1
• Category: Library

✦ Synopsis

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.

✦ Table of Contents

Front Matter....Pages I-X
Front Matter....Pages 1-1
Combining Specification-Based Testing, Correctness Proof, and Inspection for Program Verification in Practice....Pages 3-16
Theory of Test Modeling Based on Regular Expressions....Pages 17-31
Front Matter....Pages 33-33
Integrating Separation Logic with PPTL....Pages 35-47
Improved Net Reductions for LTL $$\setminus $$ \ X Model Checking....Pages 48-61
Formalizing and Implementing Types in MSVL....Pages 62-75
Present-Future Form of Linear Time $$\mu $$ -Calculus....Pages 76-85
Front Matter....Pages 87-87
Prototype Tool for Supporting a Formal Engineering Approach to Service-Based Software Modeling....Pages 89-103
A Supporting Tool for Syntactic Analysis of SOFL Formal Specifications and Automatic Generation of Functional Scenarios....Pages 104-117
SOFL Specification Animation with Tool Support....Pages 118-131
Front Matter....Pages 133-133
An Approach to Declaring Data Types for Formal Specifications....Pages 135-153
Detection Method of the Second-Order SQL Injection in Web Applications....Pages 154-165
Applying SOFL to Constructing a Smart Traffic Light Specification....Pages 166-174
Checking Internal Consistency of SOFL Specification: A Hybrid Approach....Pages 175-191
Back Matter....Pages 193-193

✦ Subjects

Logics and Meanings of Programs; Software Engineering; Programming Languages, Compilers, Interpreters; Mathematical Logic and Formal Languages