Theoretical Computer Science and General Issues

Structured Object-Oriented Formal Language and Method

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

Editors: Liu, Shaoying, Duan, Zhenhua (Eds.)

Buy this book

eBook $59.99
price for USA (gross)
  • ISBN 978-3-319-04915-1
  • Digitally watermarked, DRM-free
  • Included format: PDF, EPUB
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $79.99
price for USA
  • ISBN 978-3-319-04914-4
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
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.

Table of contents (13 chapters)

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

    Liu, Shaoying (et al.)

    Pages 3-16

  • Theory of Test Modeling Based on Regular Expressions

    Liu, Pan (et al.)

    Pages 17-31

  • Integrating Separation Logic with PPTL

    Lu, Xu (et al.)

    Pages 35-47

  • Improved Net Reductions for LTL $$\setminus $$ X Model Checking

    Shi, Ya (et al.)

    Pages 48-61

  • Formalizing and Implementing Types in MSVL

    Wang, Xiaobing (et al.)

    Pages 62-75

Buy this book

eBook $59.99
price for USA (gross)
  • ISBN 978-3-319-04915-1
  • Digitally watermarked, DRM-free
  • Included format: PDF, EPUB
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $79.99
price for USA
  • ISBN 978-3-319-04914-4
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Structured Object-Oriented Formal Language and Method
Book Subtitle
Third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013, Revised Selected Papers
Editors
  • Shaoying Liu
  • Zhenhua Duan
Series Title
Theoretical Computer Science and General Issues
Series Volume
8332
Copyright
2014
Publisher
Springer International Publishing
Copyright Holder
Springer International Publishing Switzerland
eBook ISBN
978-3-319-04915-1
DOI
10.1007/978-3-319-04915-1
Softcover ISBN
978-3-319-04914-4
Edition Number
1
Number of Pages
X, 193
Number of Illustrations and Tables
64 b/w illustrations
Topics