Abstract
To stimulate the development and application of formal methods in industry, we need to promote research and development for the improvement of formal methods and tools for industrial applications, and we need to exchange experiences of the industrial usage of these methods and tools. This special issue of Software Tools for Technology Transfer presents various tools and experience reports that are targeting the use of formal methods in industry. The papers in this special issue are extended versions of selected conference papers from the proceedings of the 27th International Conference on Formal Methods for Industrial Critical Systems (FMICS 2022).
Article PDF
Similar content being viewed by others
Avoid common mistakes on your manuscript.
References
Adelt, J., Gebker, J., Herber, P.: Reusable formal models for concurrency and communication in custom real-time operating systems. Int. J. Softw. Tools Technol. Transf. (2024). In this issue
Cassez, F., Fuller, J., Quilles, H.M.A.: Deductive verification of smart contracts with Dafny. Int. J. Softw. Tools Technol. Transf. (2024). In this issue
Ducoffe, M., Gabreau, C., Ober, I., Ober, I., Vidot, E.G.: Certification of avionic software based on machine learning: the case for formal monotony analysis. Int. J. Softw. Tools Technol. Transf. (2024). In this issue
Groote, J.F., Huisman, M. (eds.): Formal Methods for Industrial Critical Systems – 27th International Conference, FMICS 2022, Warsaw, Poland, September 14–15, 2022. Proceedings, Lecture Notes in Computer Science, vol. 13487. Springer, Berlin (2022). https://doi.org/10.1007/978-3-031-15008-1
Hampus, A., Nyberg, M.: Formally verifying decompositions of stochastic specifications. Int. J. Softw. Tools Technol. Transf. (2024). In this issue
Pedro, A.M., Silva, T., Sequira, T., Lourenço, J., Seco, J.C., Ferreira, C.: Monitoring of spatio-temporal properties with nonlinear SAT solvers. Int. J. Softw. Tools Technol. Transf. (2024). In this issue
Vu, F., Happe, C., Leuschel, M.: Generating domain-specific interactive validation documents. Int. J. Softw. Tools Technol. Transf. (2024). In this issue
Acknowledgements
We are grateful to all the authors for their contributions and to the program committee of FMICS 2022 for their help in selecting the papers for the conference program, including the papers for this issue. We are especially grateful to the FMICS 2022 program committee and external referees who reviewed the extended versions of the papers that appear in this special issue.
Author information
Authors and Affiliations
Additional information
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Groote, J.F., Huisman, M. Formal Methods for Industrial Critical Systems. Int J Softw Tools Technol Transfer 26, 127–129 (2024). https://doi.org/10.1007/s10009-024-00744-3
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10009-024-00744-3