Skip to main content
SpringerLink
Log in

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

  • Textbook
  • © 2014

Overview

Editors:
  1. Marco Bernardo

    1. Dipartimento di Scienze di Base e Fondamenti, Università di Urbino, Urbino, Italy

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Ferruccio Damiani

    1. Dipartimento di Informatica, Università di Torino, Torino, Italy

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Reiner Hähnle

    1. Fachbereich Informatik, Technische Universität Darmstadt, Darmstadt, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Einar Broch Johnsen

    1. Department of Informatics, University of Oslo, Oslo, Norway

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  5. Ina Schaefer

    1. Institut für Softwaretechnik und Fahrzeuginformatik, Technische Universität Braunschweig, Braunschweig, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • Original, readable, and useful lecture notes written by leading experts
  • Made for students, researchers, and practitioners
  • Covers a variety of topics in formal methods for software systems, with particular focus on modeling and verification; runtime assessment and testing
  • A detailed preface, introducing the chapters, is included in the front matter and is freely available for perusal on SpringerLink

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

Part of the book sub series: Programming and Software Engineering (LNPSE)

Included in the following conference series:

Conference proceedings info: SFM 2014.

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 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 (8 chapters)

  1. Front Matter

    Download chapter PDF

  2. Modeling and Verification

    1. Analysis of Executable Software Models

      • Richard Bubel, Antonio Flores Montoya, Reiner Hähnle
      Pages 1-25

    2. Deadlock Detection in Linear Recursive Programs

      • Elena Giachino, Cosimo Laneve
      Pages 26-64

    3. Counterexample Generation for Discrete-Time Markov Models: An Introductory Survey

      • Erika Ábrahám, Bernd Becker, Christian Dehnert, Nils Jansen, Joost-Pieter Katoen, Ralf Wimmer
      Pages 65-121

    4. Tutorial on Parameterized Model Checking of Fault-Tolerant Distributed Algorithms

      • Annu Gmeiner, Igor Konnov, Ulrich Schmid, Helmut Veith, Josef Widder
      Pages 122-171

    5. Verification of Concurrent Systems with VerCors

      • Afshin Amighi, Stefan Blom, Saeed Darabi, Marieke Huisman, Wojciech Mostowski, Marina Zaharieva-Stojanovski
      Pages 172-216

  3. Run-Time Assessment and Testing

    1. Combining Monitoring with Run-Time Assertion Checking

      • Frank S. de Boer, Stijn de Gouw
      Pages 217-262

    2. Test Case Generation by Symbolic Execution: Basic Concepts, a CLP-Based Instance, and Actor-Based Concurrency

      • Elvira Albert, Puri Arenas, Miguel Gómez-Zamalloa, Jose Miguel Rojas
      Pages 263-309

    3. Model-Based Testing

      • Malte Lochau, Sven Peldszus, Matthias Kowal, Ina Schaefer
      Pages 310-342

  4. Back Matter

    Download chapter PDF
Back to top

Keywords

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.

Editors and Affiliations

  • Dipartimento di Scienze di Base e Fondamenti, Università di Urbino, Urbino, Italy

    Marco Bernardo

  • Dipartimento di Informatica, Università di Torino, Torino, Italy

    Ferruccio Damiani

  • Fachbereich Informatik, Technische Universität Darmstadt, Darmstadt, Germany

    Reiner Hähnle

  • Department of Informatics, University of Oslo, Oslo, Norway

    Einar Broch Johnsen

  • Institut für Softwaretechnik und Fahrzeuginformatik, Technische Universität Braunschweig, Braunschweig, Germany

    Ina Schaefer

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation