Formal Methods for Executable Software Models

14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures

  • Marco Bernardo
  • Ferruccio Damiani
  • Reiner Hähnle
  • Einar Broch Johnsen
  • Ina Schaefer
Textbook SFM 2014

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

Table of contents

  1. Front Matter
  2. Modeling and Verification

    1. Richard Bubel, Antonio Flores Montoya, Reiner Hähnle
      Pages 1-25
    2. Elena Giachino, Cosimo Laneve
      Pages 26-64
    3. Erika Ábrahám, Bernd Becker, Christian Dehnert, Nils Jansen, Joost-Pieter Katoen, Ralf Wimmer
      Pages 65-121
    4. Annu Gmeiner, Igor Konnov, Ulrich Schmid, Helmut Veith, Josef Widder
      Pages 122-171
    5. Afshin Amighi, Stefan Blom, Saeed Darabi, Marieke Huisman, Wojciech Mostowski, Marina Zaharieva-Stojanovski
      Pages 172-216
  3. Run-Time Assessment and Testing

    1. Frank S. de Boer, Stijn de Gouw
      Pages 217-262
    2. Elvira Albert, Puri Arenas, Miguel Gómez-Zamalloa, Jose Miguel Rojas
      Pages 263-309
    3. Malte Lochau, Sven Peldszus, Matthias Kowal, Ina Schaefer
      Pages 310-342
  4. Back Matter

About this book


This book presents 8 tutorial lectures given by leading researchers at the 14th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2014, held in Bertinoro, Italy, in June 2014.

SFM 2014 was devoted to executable software models and covered topics such as variability models, automated analysis techniques, deductive verification, and runtime assessment and testing. The papers collected in the two parts (first part: modeling and verification; second part: run-time assessment and testing) of this volume represent the broad range of topics of the school.


ABS abstract behavioral modeling automated analysis techniques concurrent systems deadlock detection executable software models formal methods model checking modeling runtime assessment runtime testing software engineering software verification test generation theory of computation variability models

Editors and affiliations

  • Marco Bernardo
    • 1
  • Ferruccio Damiani
    • 2
  • Reiner Hähnle
    • 3
  • Einar Broch Johnsen
    • 4
  • Ina Schaefer
    • 5
  1. 1.Dipartimento di Scienze di Base e FondamentiUniversità di UrbinoUrbinoItaly
  2. 2.Dipartimento di InformaticaUniversità di TorinoTorinoItaly
  3. 3.Fachbereich InformatikTechnische Universität DarmstadtDarmstadtGermany
  4. 4.Department of InformaticsUniversity of OsloOsloNorway
  5. 5.Institut für Softwaretechnik und FahrzeuginformatikTechnische Universität BraunschweigBraunschweigGermany

Bibliographic information

  • DOI
  • Copyright Information Springer International Publishing Switzerland 2014
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-319-07316-3
  • Online ISBN 978-3-319-07317-0
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Chemical Manufacturing
IT & Software
Consumer Packaged Goods
Finance, Business & Banking
Energy, Utilities & Environment