A word in response to the corona virus crisis: Your print orders will be fulfilled, even in these challenging times. If you don’t want to wait – have a look at our ebook offers and start reading immediately.

Theoretical Computer Science and General Issues

Structured Object-Oriented Formal Language and Method

9th International Workshop, SOFL+MSVL 2019, Shenzhen, China, November 5, 2019, Revised Selected Papers

Editors: Miao, H., Tian, C., Liu, S., Duan, Z. (Eds.)

Free Preview

Buy this book

eBook 53,49 €
price for Spain (gross)
  • ISBN 978-3-030-41418-4
  • Digitally watermarked, DRM-free
  • Included format: EPUB, PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover 68,63 €
price for Spain (gross)
  • ISBN 978-3-030-41417-7
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
  • The final prices may differ from the prices shown due to specifics of VAT rules
About this book

This book constitutes the thoroughly refereed workshop proceedings of the 9th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2019, held in Shenzhen, China, in November 2019. The 23 revised full papers included in the volume were carefully reviewed and selected from 43 submissions. They are organized in the following topical sections: testing and debugging, formal verification, problem solving, software analysis and evolution, and software analysis and testing.

Table of contents (23 chapters)

Table of contents (23 chapters)
  • Analysis and Remodeling of the DirtyCOW Vulnerability by Debugging and Abstraction

    Pages 3-12

    Wen, Yanjun (et al.)

  • A Formal Technique for Concurrent Generation of Software’s Functional and Security Requirements in SOFL Specifications

    Pages 13-28

    Emeka, Busalire (et al.)

  • Distortion and Faults in Machine Learning Software

    Pages 29-41

    Nakajima, Shin

  • A Divide & Conquer Approach to Testing Concurrent Java Programs with JPF and Maude

    Pages 42-58

    Minh Do, Canh (et al.)

  • An Approach to Modeling and Verifying Multi-level Interrupt Systems with TMSVL

    Pages 61-72

    Cui, Jin (et al.)

Buy this book

eBook 53,49 €
price for Spain (gross)
  • ISBN 978-3-030-41418-4
  • Digitally watermarked, DRM-free
  • Included format: EPUB, PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover 68,63 €
price for Spain (gross)
  • ISBN 978-3-030-41417-7
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
  • The final prices may differ from the prices shown due to specifics of VAT rules
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Structured Object-Oriented Formal Language and Method
Book Subtitle
9th International Workshop, SOFL+MSVL 2019, Shenzhen, China, November 5, 2019, Revised Selected Papers
Editors
  • Huaikou Miao
  • Cong Tian
  • Shaoying Liu
  • Zhenhua Duan
Series Title
Theoretical Computer Science and General Issues
Series Volume
12028
Copyright
2020
Publisher
Springer International Publishing
Copyright Holder
Springer Nature Switzerland AG
eBook ISBN
978-3-030-41418-4
DOI
10.1007/978-3-030-41418-4
Softcover ISBN
978-3-030-41417-7
Edition Number
1
Number of Pages
IX, 364
Number of Illustrations
110 b/w illustrations, 64 illustrations in colour
Topics