Formal Methods for Industrial Critical Systems

20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings

  • Manuel Núñez
  • Matthias Güdemann
Conference proceedings FMICS 2015

DOI: 10.1007/978-3-319-19458-5

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

Table of contents

  1. Front Matter
    Pages 1-14
  2. Marielle Petit-Doche, Nicolas Breton, Roméo Courbis, Yoann Fonteneau, Matthias Güdemann
    Pages 1-11
  3. Applications

    1. Front Matter
      Pages 13-13
    2. Allan Blanchard, Nikolai Kosmatov, Matthieu Lemerre, Frédéeric Loulergue
      Pages 15-30
    3. Nasrine Damouche, Matthieu Martel, Alexandre Chapoutot
      Pages 31-46
    4. Jin Hyun Kim, Kim G. Larsen, Brian Nielsen, Marius Mikučionis, Petur Olsen
      Pages 47-61
    5. Peter Schrammel, Daniel Kroening, Martin Brain, Ruben Martins, Tino Teige, Tom Bienmüller
      Pages 62-77
  4. Protocols

    1. Front Matter
      Pages 79-79
    2. Valentin Valero, Hermenegilda Macià, Gregorio Díaz, M. Emilia Cambronero
      Pages 81-95
    3. Kaylash Chaudhary, Ansgar Fehnker
      Pages 96-110
  5. Specification and Analysis

    1. Front Matter
      Pages 111-111
    2. Bernhard K. Aichernig, Klaus Hörmaier, Florian Lorber, Dejan Ničković, Stefan Tiran
      Pages 113-127
    3. Sunil Chaudhary, Linfeng Li, Eleni Berki, Marko Helenius, Juha Kela, Markku Turunen
      Pages 128-145
    4. Bogdan Aman, Gabriel Ciobanu
      Pages 146-161
    5. Umair Siddique, Sidi Mohamed Beillahi, Sofiène Tahar
      Pages 162-177
  6. Verification

    1. Front Matter
      Pages 179-179
    2. Jaco C. van de Pol
      Pages 181-197
    3. Mohamed Yousri Mahmoud, Prakash Panangaden, Sofiène Tahar
      Pages 198-211
  7. Back Matter
    Pages 213-213

About these proceedings

Introduction

This book constitutes the proceedings of the 20th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2015, Oslo, Norway, in June 2015.

The 12 papers presented in this volume were carefully reviewed and selected from 20 submissions. They are organized in topical sections: applications; protocols; specification and analysis; verification.

Keywords

Cyber-physical systems Distributed systems Embedded systems Formal language definitions Formal methods Formal software verification Industrial applications Model checking Modeling and simulation Real-time systems Requirements engineering Scalability Semantics and reasoning Software development Software functional properties Software system models Software tools Software verification and validation Theorem proving Usability

Editors and affiliations

  • Manuel Núñez
    • 1
  • Matthias Güdemann
    • 2
  1. 1.Universidad Complutense de MadridMadridSpain
  2. 2.SysterelAix-en-ProvenceFrance

Bibliographic information

  • Copyright Information Springer International Publishing Switzerland 2015
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-319-19457-8
  • Online ISBN 978-3-319-19458-5
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349