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

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||B Components: Application to a Platoon of Vehicles.- Formal Verification of the Implementability of Timing Requirements.- Dynamic Event-Based Runtime Monitoring of Real-Time and Contextual Properties.- Can Flash Memory Help in Model Checking?.- From Informal Requirements to Property-Driven Formal Validation.- Automated Certification of Non-Interference in Rewriting Logic.- Formal Verification of Safety Functions by Reinterpretation of Functional Block Based Specifications.- Using Datalog and Boolean Equation Systems for Program Analysis.