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
France. 118, Elsevier, pp.1-2, 2016, Special Issue on Formal Methods for Industrial Critical Systems (FMICS'2014), 〈10.1016/j.scico.2016.01.004〉
Liste complète des métadonnées

https://hal.inria.fr/hal-01271895
Contributor : Frederic Lang <>
Submitted on : Tuesday, August 28, 2018 - 1:06:39 PM
Last modification on : Thursday, September 13, 2018 - 10:11:46 AM

File

Lang-Flammini-16.pdf
Files produced by the author(s)

Identifiers

Collections

Citation

Frédéric Lang, Francesco Flammini. Preface to the Special issue on Formal Methods for Industrial Critical Systems (FMICS'2014). France. 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〉

Share

Metrics

Record views

46352

Files downloads

6