Skip to Main content Skip to Navigation
Directions of work or proceedings

Preface to the Special issue on Formal Methods for Industrial Critical Systems (FMICS'2014)

Frédéric Lang 1 Francesco Flammini 2
1 CONVECS - Construction of verified concurrent systems
Inria Grenoble - Rhône-Alpes, LIG - Laboratoire d'Informatique de Grenoble
Abstract : 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, FMICS brings together scientists and engineers that are active in the area of formal methods and interested in exchanging their experiences in the industrial usage of these methods. The FMICS workshop series also strives to promote research and development for the improvement of formal methods and tools for industrial applications. The papers presented in this special issue are the result of several evaluation steps. FMICS 2014 received 26 papers among which 13 were accepted. After the workshop, selected papers were published in Lecture Notes of Computer Science volume 8718. The authors of 6 papers were invited to submit extended versions for publication in this special issue. Those papers passed two to three rounds of review and finally 5 were accepted to be included in the journal. The contents of this issue illustrate the variety of problems, techniques, and application domains in the scope of formal methods for industrial critical systems. Four out of the five papers are about the application of formal methods to a particular problem, in a particular application domain, whereas the last one addresses the development of a formal verification technique, independently of any particular application domain.
Document type :
Directions of work or proceedings
Complete list of metadata
Contributor : Frederic Lang <>
Submitted on : Tuesday, August 28, 2018 - 1:06:39 PM
Last modification on : Tuesday, February 9, 2021 - 3:10:03 PM
Long-term archiving on: : Thursday, November 29, 2018 - 3:59:58 PM


Files produced by the author(s)




Frédéric Lang, Francesco Flammini. Preface to the Special issue on Formal Methods for Industrial Critical Systems (FMICS'2014). France. Science of Computer Programming, 118, Elsevier, pp.1-2, 2016, Special Issue on Formal Methods for Industrial Critical Systems (FMICS'2014), ⟨10.1016/j.scico.2016.01.004⟩. ⟨hal-01271895⟩



Record views


Files downloads