دانلود کتاب روش‌های رسمی برای سیستم‌های بحرانی صنعتی – بیست و هفتمین کنفرانس بین المللی، FMICS 2022

The International Conference on Formal Methods in Industrial Critical Systems (FMICS), organized by ERCIM, is the key conference at the intersection of industrial applications and formal methods. The aim of the FMICS series is to provide a forum for researchers who are interested in the development and application of formal methods in industry. FMICS brings together scientists and engineers who are active in the area of formal methods and interested in exchanging their experiences in the industrial usage of these methods. FMICS also strives to promote research and development for the improvement of formal methods and tools for industrial applications. This volume contains the papers presented at the 27th International Conference on Formal Methods in Industrial Critical Systems (FMICS 2022), which was held during September 14–15, 2022. The symposium took place in the beautiful capital of Poland, Warsaw, but could also be attended online. The conference was organized under the umbrella of CONFEST, alongside with the 33rd International Conference on Concurrency Theory (CONCUR 2022), the 19th International Conference on Quantitative Evaluation of Systems (QEST 2022), and the 20th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2022). FMICS 2022 received 22 paper submissions. We selected a total of 13 papers for presentation during the conference and inclusion in these proceedings, resulting in an overall acceptance rate of 59%.