Logo - springer
Slogan - springer

Computer Science - Software Engineering | Formal Methods for Industrial Critical Systems - 15th International Workshop, FMICS 2010, Antwerp,

Formal Methods for Industrial Critical Systems

15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings

Kowalewski, Stefan, Roveri, Marco (Eds.)

2010, XII, 231p. 82 illus..

Available Formats:

Springer eBooks may be purchased by end-customers only and are sold without copy protection (DRM free). Instead, all eBooks include personalized watermarks. This means you can read the Springer eBooks across numerous devices such as Laptops, eReaders, and tablets.

You can pay for Springer eBooks with Visa, Mastercard, American Express or Paypal.

After the purchase you can directly download the eBook file or read it online in our Springer eBook Reader. Furthermore your eBook will be stored in your MySpringer account. So you can always re-download your eBooks.


(net) price for USA

ISBN 978-3-642-15898-8

digitally watermarked, no DRM

Included Format: PDF

download immediately after purchase

learn more about Springer eBooks

add to marked items


Softcover (also known as softback) version.

You can pay for Springer Books with Visa, Mastercard, American Express or Paypal.

Standard shipping is free of charge for individual customers.


(net) price for USA

ISBN 978-3-642-15897-1

free shipping for individuals worldwide

online orders shipping within 2-3 days.

add to marked items

  • up-to-date results
  • fast track conference proceedings
  • state-of-the-art report
This volume contains the papers presented at FMICS 2010, the 15th Inter- tional Workshop on Formal Methods for Industrial Critical Systems, which was held on September 20-21, 2010, in Antwerp, Belgium. Previous workshops of the ERCIM working group on Formal Methods for Industrial Critical Systems wereheld in Oxford(March 1996),Cesena (July 1997),Amsterdam (May 1998), Trento (July 1999), Berlin (April 2000), Paris (July 2001), Malaga (July 2002), Trondheim(June2003),Linz(September 2004),Lisbon(September 2005),Bonn (August 2006), Berlin (July 2007), L’Aquila (September 2008), and Eindhoven (November 2009). 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. In particular, these workshops bring together scientists and engineers who are active in the area of formal methods and are interested in exchanging their experiences in the industrial usage of these methods. These workshops also strive to promote research and development for the improvement of formal methods and tools for industrial applications. The FMICS 2010 workshop was co-located with ASE 2010, the 25th IEEE/ACMInternationalConferenceonAutomatedSoftwareEngineering,which o?ereda choiceofeventsintheareainadditionto themainconference.More- formation about ASE 2010 and the co-located events can be found on http://soft.vub.ac.be/ase2010/.

Content Level » Research

Keywords » BPMN - CBMC - Java - automated translation - business process modeling - case study - development - formal methods - formal specification - formal verification - petri net - software - software engineering - verification

Related subjects » Communication Networks - Software Engineering - Theoretical Computer Science

Table of contents 

The Metrô Rio ATP Case Study.- Practical Issues with Formal Specifications.- Formal Analysis of BPMN Models Using Event-B.- Developing Mode-Rich Satellite Software by Refinement in Event B.- Automatic Error Correction of Java Programs.- Range Analysis of Microcontroller Code Using Bit-Level Congruences.- An Automated Translator for Model Checking Time Constrained Workflow Systems.- Correctness of Sensor Network Applications by Software Bounded Model Checking.- Model Checking the FlexRay Physical Layer Protocol.- SMT-Based Formal Verification of a TTEthernet Synchronization Function.- Embedded Network Protocols for Mobile Devices.- A Study of Shared-Memory Mutual Exclusion Protocols Using CADP.- A Formal Model of Identity Mixer.- Automatic Structure-Based Code Generation from Coloured Petri Nets: A Proof of Concept.

Popular Content within this publication 



Read this Book on Springerlink

Services for this book

New Book Alert

Get alerted on new Springer publications in the subject area of Software Engineering.