Structured Object-Oriented Formal Language and Method Third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013, Revised Selected Papers /
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 submissi...
| Published in: | Springer eBooks |
|---|---|
| Corporate Author: | |
| Other Authors: | , |
| Format: | eBook |
| Language: | English |
| Published: |
Cham :
Springer International Publishing : Imprint: Springer,
2014.
|
| Series: | Lecture Notes in Computer Science,
|
| Subjects: | |
| Online Access: | http://dx.doi.org/10.1007/978-3-319-04915-1 Перейти в каталог НБ ТГУ |
Table of Contents:
- Combining Specification-Based Testing, Correctness Proof, and Inspection for Program Verification in Practice
- Theory of Test Modeling Based on Regular Expressions
- Integrating Separation Logic with PPTL
- Improved Net Reductions for LTL-X Model-Checking
- Formalizing and Implementing Types in MSVL
- Present-Future Form Graph of Linear Time μ-Calculus
- Prototype Tool for Supporting A Formal Engineering Approach to Service-based Software Modeling
- A Supporting Tool for Syntactic Analysis of SOFL Formal Specifications and Automatic Generation of Functional Scenarios
- SOFL Specification Animation with Tool Support
- An Approach to Declaring Data Types for Formal Specifications
- Detection Method of the Second-Order SQL Injection in Web Applications
- Applying SOFL to Constructing a Smart Traffic Light Specification
- Checking Internal Consistency of SOFL Specification: A Hybrid Approach.