Skip to main content
SpringerLink
Log in
Book cover

Software Engineering and Formal Methods

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

  • Conference proceedings
  • © 2016

Overview

Editors:
  1. Rocco De Nicola

    1. IMT - School for Advanced Studies, Lucca, Italy

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Eva Kühn

    1. Institute of Computer Languages, TU Wien, Wien, Austria

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

Included in the following conference series:

Conference proceedings info: SEFM 2016.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (27 papers)

  1. Front Matter

    Pages I-XV
    Download chapter PDF

  3. Concurrency and Non-interference

    1. Front Matter

      Pages 25-25
      Download chapter PDF

    2. Automatic Derivation of Platform Noninterference Properties

      • Oliver Schwarz, Mads Dam
      Pages 27-44

    3. Linearizability and Causality

      • Simon Doherty, John Derrick
      Pages 45-60

    4. Refinement-Based Verification of Communicating Unstructured Code

      • Nils Jähnig, Thomas Göthel, Sabine Glesner
      Pages 61-75

    5. 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
      Download chapter PDF

    2. Correlating Structured Inputs and Outputs in Functional Specifications

      • Oana Fabiana Andreescu, Thomas Jensen, Stéphane Lescuyer
      Pages 85-103

    3. Combining Predicate Abstraction with Fixpoint Approximations

      • Tuba Yavuz
      Pages 104-120

    4. 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. Combining Abstract Interpretation with Symbolic Execution for a Static Value Range Analysis of Block Diagrams

      • Christian Dernehl, Norman Hansen, Stefan Kowalewski
      Pages 137-152

  5. Model Checking

    1. Front Matter

      Pages 153-153
      Download chapter PDF

    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. Model Checking Simulation Rules for Linearizability

      • Graeme Smith
      Pages 188-203

    5. LTL Model Checking under Fairness in ProB

      • Ivaylo Dobrikov, Michael Leuschel, Daniel Plagge
      Pages 204-211

  6. Verification

    1. Front Matter

      Pages 213-213
      Download chapter PDF
Back to top

Other volumes

  1. Software Engineering and Formal Methods

Keywords

About this book

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.

Editors and Affiliations

  • IMT - School for Advanced Studies, Lucca, Italy

    Rocco De Nicola

  • Institute of Computer Languages, TU Wien, Wien, Austria

    Eva Kühn

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation