Software Engineering and Formal Methods

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

  • De Nicola Rocco 
  • Kühn Eva 
Conference proceedings SEFM 2016

DOI: 10.1007/978-3-319-41591-8

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

Table of contents (27 papers)

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

  3. Concurrency and Non-interference

    1. Front Matter
      Pages 25-25
    2. Linearizability and Causality
      Simon Doherty, John Derrick
      Pages 45-60
    3. Refinement-Based Verification of Communicating Unstructured Code
      Nils Jähnig, Thomas Göthel, Sabine Glesner
      Pages 61-75
    4. Guided Dynamic Symbolic Execution Using Subgraph Control-Flow Information
      Josselin Feist, Laurent Mounier, Marie-Laure Potet
      Pages 76-81
  4. Program Analysis

    1. Front Matter
      Pages 83-83
    2. Correlating Structured Inputs and Outputs in Functional Specifications
      Oana Fabiana Andreescu, Thomas Jensen, Stéphane Lescuyer
      Pages 85-103
    3. Finding Boundary Elements in Ordered Sets with Application to Safety and Requirements Analysis
      Jaroslav Bendík, Nikola Beneš, Jiří Barnat, Ivana Černá
      Pages 121-136
  5. Model Checking

    1. Front Matter
      Pages 153-153
    2. Program Generation Using Simulated Annealing and Model Checking
      Idress Husien, Sven Schewe
      Pages 155-171
    3. LTL Parameter Synthesis of Parametric Timed Automata
      Peter Bezděk, Nikola Beneš, Jiří Barnat, Ivana Černá
      Pages 172-187
    4. LTL Model Checking under Fairness in ProB
      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

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

Bibliographic information

  • 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