Formal Methods for Industrial Critical Systems 2020

The 25th International Conference on Formal Methods (FMICS) 2020 took place virtually in Vienna on the 2-3 September. Today Formal Methods - techniques more than 50 years old - is recognized by the FMICS community as the cutting-edge technologies for specification, development, and verification of software and hardware systems. FMICS 2020 was an unprecedented effort [...]