Theoretical Computer Science and General Issues Formal Methods

Software Engineering and Formal Methods

18th International Conference, SEFM 2020, Amsterdam, The Netherlands, September 14–18, 2020, Proceedings

Editors: de Boer, Frank, Cerone, Antonio (Eds.)

Free Preview

Buy this book

eBook 46,00 €
price for Spain (gross)
  • ISBN 978-3-030-58768-0
  • Digitally watermarked, DRM-free
  • Included format: PDF, EPUB
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover 57,19 €
price for Spain (gross)
About this book

This book constitutes the refereed proceedings of the 18th International Conference on Software Engineering and Formal Methods, SEFM 2020, held in Amsterdam, The Netherlands, in September 2020.

The 16 full papers presented together with 1 keynote talk and an abstract of a keynote talk were carefully reviewed and selected from 58 submissions. The papers cover a large variety of topics, including testing, formal verification, program analysis, runtime verification, meta-programming and software development and evolution. The papers address a wide range of systems, such as IoT systems, human-robot interaction in healthcare scenarios, navigation of maritime autonomous systems, and operating systems.
The Chapters "Multi-Purpose Syntax Definition with SDF3", “FRed: Conditional Model Checking via Reducers and Folders" and "Difference Verification with Conditions” are available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.

Table of contents (17 chapters)

Table of contents (17 chapters)
  • Multi-purpose Syntax Definition with SDF3

    Pages 1-23

    Souza Amorim, Luís Eduardo (et al.)

  • Finding and Fixing a Mismatch Between the Go Memory Model and Data-Race Detector

    Pages 24-40

    Fava, Daniel Schnetzer

  • Formal Verification of COLREG-Based Navigation of Maritime Autonomous Systems

    Pages 41-59

    Shokri-Manninen, Fatima (et al.)

  • End-to-End Verification of Initial and Transition Properties of GR(1) Designs in SPARK

    Pages 60-76

    Humphrey, Laura R. (et al.)

  • Affine Systems of ODEs in Isabelle/HOL for Hybrid-Program Verification

    Pages 77-92

    Huerta y Munive, Jonathan Julián

Buy this book

eBook 46,00 €
price for Spain (gross)
  • ISBN 978-3-030-58768-0
  • Digitally watermarked, DRM-free
  • Included format: PDF, EPUB
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover 57,19 €
price for Spain (gross)
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Software Engineering and Formal Methods
Book Subtitle
18th International Conference, SEFM 2020, Amsterdam, The Netherlands, September 14–18, 2020, Proceedings
Editors
  • Frank de Boer
  • Antonio Cerone
Series Title
Theoretical Computer Science and General Issues
Series Volume
12310
Copyright
2020
Publisher
Springer International Publishing
Copyright Holder
Springer Nature Switzerland AG
eBook ISBN
978-3-030-58768-0
DOI
10.1007/978-3-030-58768-0
Softcover ISBN
978-3-030-58767-3
Edition Number
1
Number of Pages
XIV, 325
Number of Illustrations
576 b/w illustrations, 63 illustrations in colour
Topics