Formal Methods for Industrial Critical Systems – Genesis, Success Stories, and the Next 25 Years
During FMICS 2020, the 25th anniversary of the FMICS conference series will be celebrated with a panel in which the founders and previous chairpersons of the FMICS working group of ERCIM will act as panelists. They will recall the original motivation and beginning of FMICS, share some success stories, and present a study on the future of formal methods and their adoption in industry.