Formal Methods for Industrial Critical Systems 13th International Workshop, FMICS 2008, L'Aquila, Italy, September 15-16, 2008, Revised Selected Papers

Formal Methods for Industrial Critical Systems 13th International Workshop, FMICS 2008, L'Aquila, Italy, September 15-16, 2008, Revised Selected Papers / edited by Darren Cofer, Alessandro Fantechi.

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...

Full description

Saved in:
Bibliographic Details
Corporate Author: SpringerLink (Online service)
Other Authors: Cofer, Darren (Editor), Fantechi, Alessandro (Editor)
Format: eBook
Language:English
Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009.
Edition:1st ed. 2009.
Series:Programming and Software Engineering ; 5596
Springer eBook Collection.
Subjects:
Computer communication systems.
Software engineering.
Programming languages (Electronic computers).
Computer logic.
Special purpose computers.
Electronic resources (E-books)
Online Access:Click to view e-book
Holy Cross Note:Loaded electronically.
Electronic access restricted to members of the Holy Cross Community.
Table of Contents:
  • Invited Presentations
  • Formal Methods for Critical Systems
  • Model-Based Verification of Automotive Control Software
  • Contract-Based Analysis of Automotive and Avionics Applications: The SPEEDS Approach
  • Panel
  • Panel Discussion on Formal Methods in Commercial Software Development Tools
  • Research Papers
  • LETO - A Lustre-Based Test Oracle for Airbus Critical Systems
  • Extending Structural Test Coverage Criteria for Lustre Programs with Multi-clock Operators
  • Fighting State Space Explosion: Review and Evaluation
  • Local Quantitative LTL Model Checking
  • Efficient Symbolic Model Checking for Process Algebras
  • Reentrant Readers-Writers: A Case Study Combining Model Checking with Theorem Proving
  • Using CSP

Similar Items