FMICS: Formal Methods for Industrial Critical Systems

What does FMICS mean? The above is one of FMICS meanings. It may have other definitions. Please refer to the end of this passage.

Definition in English: Formal Methods for Industrial Critical Systems