Advertisement

Software Engineering and Formal Methods

16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27–29, 2018, Proceedings

  • Einar Broch Johnsen
  • Ina Schaefer

Part of the Lecture Notes in Computer Science book series (LNCS, volume 10886)

Also part of the Theoretical Computer Science and General Issues book sub series (LNTCS, volume 10886)

Table of contents

  1. Front Matter
    Pages I-XIV
  2. Invited Keynote

    1. Front Matter
      Pages 1-1
  3. Specification

    1. Front Matter
      Pages 19-19
    2. Stefan Hallerstede, Miran Hasanagić, Sebastian Krings, Peter Gorm Larsen, Michael Leuschel
      Pages 21-36
    3. Christoph Schulze, Rance Cleaveland, Mikael Lindvall
      Pages 37-53
    4. Fahad Rafique Golra, Fabien Dagnat, Jeanine Souquières, Imen Sayar, Sylvain Guerin
      Pages 54-69
  4. Concurrency

    1. Front Matter
      Pages 71-71
    2. Crystal Chang Din, Rudolf Schlatte, Tzu-Chun Chen
      Pages 73-88
    3. Stefan Schupp, Erika Ábrahám
      Pages 89-104
    4. Gerhard Schellhorn, Monika Wedel, Oleg Travkin, Jürgen König, Heike Wehrheim
      Pages 105-120
  5. Program Analysis

    1. Front Matter
      Pages 121-121
    2. Kasper Luckow, Corina S. Păsăreanu, Willem Visser
      Pages 123-138
    3. Daniel Balasubramanian, Dmitriy Kostyuchenko, Kasper Luckow, Rody Kersten, Gabor Karsai
      Pages 139-154
    4. Rijnard van Tonder, Claire Le Goues
      Pages 155-170
  6. Model Checking and Runtime Verification

    1. Front Matter
      Pages 171-171
    2. Gianluca Barbon, Vincent Leroy, Gwen Salaün
      Pages 173-188
    3. Jaroslav Bendík, Elaheh Ghassabani, Michael Whalen, Ivana Černá
      Pages 189-204
    4. Reza Babaee, Arie Gurfinkel, Sebastian Fischmeister
      Pages 205-220
  7. Applications

    1. Front Matter
      Pages 221-221
    2. Adnan Rashid, Umair Siddique, Osman Hasan
      Pages 223-238
    3. Catherine Dubois, Olga Grinchtein, Justin Pearson, Mats Carlsson
      Pages 239-253
  8. Shape Analysis and Reuse

    1. Front Matter
      Pages 269-269
    2. Hannah Arndt, Christina Jansen, Christoph Matheja, Thomas Noll
      Pages 271-286
  9. Back Matter
    Pages 303-303

About these proceedings

Introduction

This book constitutes the refereed proceedings of the 16th International Conference on Software Engineering and Formal Methods, SEFM 2018, held as part of STAF 2018, in Toulouse, France, in June 2018.
The 17 full papers presented in this book were carefully reviewed and selected from 58 submissions. The papers deal with a large range of topics in the following research areas: specification; concurrency; program analysis; model checking and runtime verification; applications; and shape analysis and reuse.

Keywords

Specification and Design Scalable Formal Methods Domain Specific Languages Type Theory Abstraction and Refinement Correctness-by-Construction Formal Verification Probabilistic Verification Software Engineering Semantics Specifications Problem solving Formal methods Verification

Editors and affiliations

  • Einar Broch Johnsen
    • 1
  • Ina Schaefer
    • 2
  1. 1.University of OsloOsloNorway
  2. 2.Braunschweig University of TechnologyBraunschweigGermany

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-319-92970-5
  • Copyright Information Springer International Publishing AG, part of Springer Nature 2018
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-319-92969-9
  • Online ISBN 978-3-319-92970-5
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site