The aim of the FMICS workshop series, which is celebrating its tenth issue, 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 practistioners who are active in the area of formal methods and 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. <b>Keywords:</b> Tools for the design and development of formal descriptions<br>Tools for formal verification and analysis of system designs<br>Verification and validation of complex, distributed, real–time systems and embedded systems<br>Verification and validation methods that aim at circumventing shortcomings of existing methods in respect to their industrial applicability<br>Case studies and project reports on formal methods related projects with industrial participation (eg. safety critical systems, mobile systems, object–based distributed systems)<br>Application of formal methods in standardization and industrial forums
Abbrevation
FMICS
City
Lissabon
Country
Portugal
Deadline Paper
Start Date
End Date
Abstract