Formal Methods for Industrial Critical Systems
13th International Workshop, FMICS 2008, L'Aquila, Italy, September 15-16, 2008, Revised Selected Papers
Editors: Cofer, Darren, Fantechi, Alessandro (Eds.)
Free PreviewBuy this book
- About this book
-
This book constitutes the thoroughly refereed post-workshop proceedings of the 13th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2008, held in L'Aquila, Italy, in September 2008 - colocated with ASE 2008, the 23rd International Conference on Automated Software Engineering.
The 14 revised full papers presented together with the abstracts of 3 invited presentations and 2 short presentations introducing the panel were carefully selected from 36 initial submissions. The papers strive to promote research and development for the improvement of formal methods and tools for industrial applications. They cover topics such as model checking, testing, software verification, real-time performance, and industrial case studies.
- Table of contents (18 chapters)
-
-
Formal Methods for Critical Systems
Pages 1-1
-
Model-Based Verification of Automotive Control Software
Pages 2-2
-
Contract-Based Analysis of Automotive and Avionics Applications: The SPEEDS Approach
Pages 3-3
-
Panel Discussion on Formal Methods in Commercial Software Development Tools
Pages 4-6
-
LETO - A Lustre-Based Test Oracle for Airbus Critical Systems
Pages 7-22
-
Table of contents (18 chapters)
Recommended for you

Bibliographic Information
- Bibliographic Information
-
- Book Title
- Formal Methods for Industrial Critical Systems
- Book Subtitle
- 13th International Workshop, FMICS 2008, L'Aquila, Italy, September 15-16, 2008, Revised Selected Papers
- Editors
-
- Darren Cofer
- Alessandro Fantechi
- Series Title
- Programming and Software Engineering
- Series Volume
- 5596
- Copyright
- 2009
- Publisher
- Springer-Verlag Berlin Heidelberg
- Copyright Holder
- Springer-Verlag Berlin Heidelberg
- eBook ISBN
- 978-3-642-03240-0
- DOI
- 10.1007/978-3-642-03240-0
- Softcover ISBN
- 978-3-642-03239-4
- Edition Number
- 1
- Number of Pages
- X, 233
- Topics