Preface to the special section on Formal Methods for Industrial Critical Systems (FMICS 2009 + FMICS 2010)

María Alpuente, Christophe Joubert, Stefan Kowalewski, Marco Roveri
2013 Science of Computer Programming  
Elsevier Alpuente Frasnedo, M.; Joubert ., C.; Kowalewski, S.; Roveri, M. (2013). Formal methods for industrial critical systems, preface to the special section. Science of Computer Programming. 78 (7) :775-777. Abstract This special issue contains improved versions of selected papers from the workshops on Formal Methods for Industrial Critical Systems (FMICS) held in Eindhoven, The Netherlands, in November 2009 and in Antwerp, Belgium, in September 2010. These were, respectively, the 14th and
more » ... 5th of a series of international workshops organized by an open working group supported by ERCIM (European Research Consortium for Informatics and Mathematics) that promotes research in all aspects of formal methods (see details in http://www.inrialpes.fr/vasy/fmics/). The FMICS workshops that have produced this special issue considered papers describing original, previously unpublished research and not simultaneously submitted for publication elsewhere, and dealing with the following themes: • Design, specification, code generation and testing based on formal methods. • Methods, techniques and tools to support automated analysis, certification, debugging, learning, optimization and transformation of complex, distributed, $
doi:10.1016/j.scico.2012.05.005 fatcat:wzp2l7pe5fdhhkv2wptuygureu