The aim of the FMICS workshop series is to provide a forum for<br>researchers who are interested in the development and application of<br>formal methods in industry. In particular, FMICS brings together<br>scientists and engineers that are active in the area of formal<br>methods and interested in exchanging their experiences in the<br>industrial usage of these methods. The FMICS workshop series also<br>strives to promote research and development for the improvement of<br>formal methods and tools for industrial applications.<br>Workshop Proceedings will be published in Springer′s LNCS series.<br>––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––<br>Topics of interest include (but are not limited to):<br>* Design, specification, code generation and testing based on<br>formal methods.<br>* Methods, techniques and tools to support automated analysis,<br>certification, debugging, learning, optimization and<br>transformation of complex, distributed, real–time systems<br>and embedded systems.<br>* Verification and validation methods that address<br>shortcomings of existing methods with respect to their<br>industrial applicability (e.g., scalability and usability<br>issues).<br>* Tools for the development of formal design descriptions.<br>* Case studies and experience reports on industrial<br>applications of formal methods, focusing on lessons learned<br>or identification of new research directions.<br>* Impact of the adoption of formal methods on the development<br>process and associated costs.<br>* Application of formal methods in standardization and<br>industrial forums.<br>
Abbrevation
FMICS
City
Paris
Country
France
Deadline Paper
Start Date
End Date
Abstract