Formal Methods for Industrial Critical Systems

18th International Workshop, FMICS 2013, Madrid, Spain, September 23-24, 2013. Proceedings

  • Charles Pecheur
  • Michael Dierkes
Part of the Lecture Notes in Computer Science book series (LNCS, volume 8187)

Table of contents

  1. Front Matter
  2. Adrien Champion, Rémi Delmas, Michael Dierkes, Pierre-Loïc Garoche, Romain Jobredeaux, Pierre Roux
    Pages 1-16
  3. Christoph Zengler, Wolfgang Küchlin
    Pages 48-62
  4. Jennifer A. Davis, Matthew Clark, Darren Cofer, Aaron Fifarek, Jacob Hinchman, Jonathan Hoffman et al.
    Pages 63-77
  5. Laurence Pierre, Fabrice Pancher, Rodolphe Suescun, Jérôme Quévremont
    Pages 78-93
  6. Helene Leroux, Karen Godary-Dejean, David Andreu
    Pages 94-107
  7. Abderahman Kriouile, Wendelin Serwe
    Pages 108-122
  8. Sebastian Biallas, Mirco Giacobbe, Stefan Kowalewski
    Pages 123-138
  9. Christophe Ponsard, Jean-Christophe Deprez, Renaud De Landtsheer
    Pages 139-153
  10. Paul Jackson, Florian Schanda, Angela Wallenburg
    Pages 154-168
  11. Adil Khurram, Haider Ali, Arham Tariq, Osman Hasan
    Pages 169-183
  12. Aurel Randolph, Abdessamad Imine, Hanifa Boucheneb, Alejandro Quintero
    Pages 184-198
  13. Back Matter

About these proceedings

Introduction

This book constitutes the thoroughly refereed conference proceedings of the 18th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2013, held in Madrid, Spain, in September 2013. The 13 papers presented were carefully selected from 25 submissions and cover topics such as design, specification, code generation and testing based on formal methods, methods, techniques and tools to support automated analysis, certification, debugging, learning, optimization and transformation of complex, distributed, dependable, real-time systems and embedded systems, verification and validation methods, tools for the development of formal design descriptions, case studies and experience reports on industrial applications of formal methods, impact of the adoption of formal methods on the development process and associated costs, application of formal methods in standardization and industrial forums.

Keywords

FPGA PRISM probabilistic model checking program verification timed petri nets

Editors and affiliations

  • Charles Pecheur
    • 1
  • Michael Dierkes
    • 2
  1. 1.Université catholique de LouvainLouvain-la-NeuveBelgium
  2. 2.Rockwell Collins FranceBlagnacFrance

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-642-41010-9
  • Copyright Information Springer-Verlag Berlin Heidelberg 2013
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-41009-3
  • Online ISBN 978-3-642-41010-9
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book