Skip to main content
Springer Nature Link
Log in

Formal Methods for Industrial Critical Systems

14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009, Proceedings

  • Conference proceedings
  • © 2009

Overview

Editors:
  1. María Alpuente

    1. DSIC/ELP, Universidad Politécnica de Valencia, Valencia, Spain

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Byron Cook

    1. Microsoft Research, Cambridge, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Christophe Joubert

    1. DSIC/ELP, Universidad Politécnica de Valencia, Valencia, Spain

    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 5825)

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

Included in the following conference series:

Conference proceedings info: FMICS 2009.

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

Access this book

Log in via an institution
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

About this book

This book constitutes the proceedings of the 14th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2009 held in Eindhoven, The Netherlands, in November 2009. The 10 papers presented were carefully reviewed and selected from 25 submissions. The volume also contains with 4 invited papers and 6 posters. The aim of the FMICS workshop series is to provide a forum for researchers who are interested in the development and application of formal methods in industry. It also strives to promote research and development for the improvement of formal methods and tools for industrial applications.

Similar content being viewed by others

Keywords

Table of contents (20 papers)

  1. Front Matter

    Download chapter PDF

  3. Contributed Papers

    1. Verifying Cryptographic Software Correctness with Respect to Reference Implementations

      • José Bacelar Almeida, Manuel Barbosa, Jorge Sousa Pinto, Bárbara Vieira
      Pages 37-52

    2. Towards an Industrial Use of FLUCTUAT on Safety-Critical Avionics Software

      • David Delmas, Eric Goubault, Sylvie Putot, Jean Souyris, Karim Tekkal, Franck Védrine
      Pages 53-69

    3. Dynamic State Space Partitioning for External Memory Model Checking

      • Sami Evangelista, Lars Michael Kristensen
      Pages 70-85

    4. Compositional Verification of a Communication Protocol for a Remotely Operated Vehicle

      • Alwyn E. Goodloe, César A. Muñoz
      Pages 86-101

    5. Modeling Concurrent Systems with Shared Resources

      • Ángel Herranz, Julio Mariño, Manuel Carro, Juan José Moreno Navarro
      Pages 102-116

    6. Platform-Specific Restrictions on Concurrency in Model Checking of Java Programs

      • Pavel Parizek, Tomas Kalibera
      Pages 117-132

    7. Formal Analysis of Non-determinism in Verilog Cell Library Simulation Models

      • Matthias Raffelsieper, MohammadReza Mousavi, Jan-Willem Roorda, Chris Strolenberg, Hans Zantema
      Pages 133-148

    8. Preemption Abstraction

      • Erik Schierboom, Alejandro Tamalet, Hendrik Tews, Marko van Eekelen, Sjaak Smetsers
      Pages 149-164

    9. A Rigorous Methodology for Composing Services

      • Kenneth J. Turner, Koon Leai Larry Tan
      Pages 165-180

    10. A Certified Implementation on Top of the Java Virtual Machine

      • Javier de Dios, Ricardo Peña
      Pages 181-196

  4. Selected Posters

    1. Formal Development for Railway Signaling Using Commercial Tools

      • Alessio Ferrari, Alessandro Fantechi, Stefano Bacherini, Niccoló Zingoni
      Pages 197-198

    2. Integrated Formal Approach for Qualified Critical Embedded Code Generator

      • Nassima Izerrouken, Marc Pantel, Xavier Thirioux, Olivier Ssi Yan Kai
      Pages 199-201

    3. Visualising Event-B Models with B-Motion Studio

      • Lukas Ladenberger, Jens Bendisposto, Michael Leuschel
      Pages 202-204

    4. Behavioural Analysis of an I2C Linux Driver

      • Dragan Bošnački, Aad Mathijssen, Yaroslav S. Usenko
      Pages 205-206

    5. Model-Based Testing of Electronic Passports

      • Wojciech Mostowski, Erik Poll, Julien Schmaltz, Jan Tretmans, Ronny Wichers Schreur
      Pages 207-209
Back to top

Other volumes

  1. Formal Methods for Industrial Critical Systems

Editors and Affiliations

  • DSIC/ELP, Universidad Politécnica de Valencia, Valencia, Spain

    María Alpuente, Christophe Joubert

  • Microsoft Research, Cambridge, UK

    Byron Cook

Bibliographic Information

Publish with us

Policies and ethics

Back to top