Software Engineering and Formal Methods

14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings

  • Rocco De Nicola
  • Eva Kühn

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

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

Table of contents

  1. Front Matter
    Pages I-XV
  2. Invited Papers

  3. Concurrency and Non-interference

    1. Front Matter
      Pages 25-25
    2. Simon Doherty, John Derrick
      Pages 45-60
    3. Nils Jähnig, Thomas Göthel, Sabine Glesner
      Pages 61-75
    4. Josselin Feist, Laurent Mounier, Marie-Laure Potet
      Pages 76-81
  4. Program Analysis

    1. Front Matter
      Pages 83-83
    2. Oana Fabiana Andreescu, Thomas Jensen, Stéphane Lescuyer
      Pages 85-103
    3. Jaroslav Bendík, Nikola Beneš, Jiří Barnat, Ivana Černá
      Pages 121-136
  5. Model Checking

    1. Front Matter
      Pages 153-153
    2. Idress Husien, Sven Schewe
      Pages 155-171
    3. Peter Bezděk, Nikola Beneš, Jiří Barnat, Ivana Černá
      Pages 172-187
    4. Ivaylo Dobrikov, Michael Leuschel, Daniel Plagge
      Pages 204-211
  6. Verification

    1. Front Matter
      Pages 213-213

About these proceedings


This book constitutes the proceedings of the 14th International Conference on Software Engineering and Formal Methods, SEFM 2016, held as part of STAF 2016, in Vienna, Austria, in July 2016.
The 20 full and 5 short papers presented in this volume were carefully reviewed and selected from 88 submissions. They were organized in topical sections named: concurrency and non-interference; program analysis; model checking; verification; interaction and adaptation; and development methods.


formal modeling formal semantics interactive systems model checking software validation concurrency formal methods formal verification interaction model-driven software engineering non-interference program analysis requirements analysis rewriting logic safety analysis software architectures software functional properties software verification system description languages theorem proving

Editors and affiliations

  • Rocco De Nicola
    • 1
  • Eva Kühn
    • 2
  1. 1.IMT - School for Advanced StudiesLuccaItaly
  2. 2.Institute of Computer LanguagesTU WienWienAustria

Bibliographic information

  • DOI
  • Copyright Information Springer International Publishing Switzerland 2016
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-319-41590-1
  • Online ISBN 978-3-319-41591-8
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book