Formal Methods for Industrial Critical Systems: 12th International Workshop

The FMICS 2007 workshopwas a?liated with the Computer-Aided Veri?cation (CAV) conference and held at the Park-Inn Hotel Alexanderplatz in Berlin, Germany, July 1-2, 2007. 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 are intended to bring together scientists and practitioners who are active in the area of formal methods and interested in exchanging their experience in the industrial usage of these methods. These workshopsalso striveto promoteresearchand developmentfor the improvement of formal methods and tools for industrial applications. The topics for which contributions to FMICS 2007 were solicited included, but were not restricted to, the following: - Design, speci?cation, code generation and testing with formal methods - Veri?cation and validation of complex, distributed, real-time systems and embedded systems - Veri?cationand validationmethods that aimat circumventing shortcomings of existing methods with respect to their industrial applicability - Tools for the design and development of formal descriptions - Case studies and project reports on formal methods-related projects with industrial participation (e.g., safety critical systems, mobile systems, obje- based distributed systems) - Application of formal methods in standardization and industrial forums Theworkshopincluded?vesessionsofregularcontributionsandthreeinvited presentations, given by Charles Pecheur, Thomas Henzinger and G erard Berry.