FME is developing Guidelines for Teaching Formal Methods, an initiative called FM4All: we welcome the community’s feedback on this development.
| About FME | Committees | Formal Methods | Events | FME Awards |
FME is developing Guidelines for Teaching Formal Methods, an initiative called FM4All: we welcome the community’s feedback on this development.
The Annual General Meeting of FME will take place durimg FM 2026 symposium in Tokyo on May 21, 2026.
The 14th International Conference on Formal Methods in Software Engineering (FormaliSE 2025) was held, as always, co-located with ICSE on 12-13 April in Rio de Janeiro, Brasil.
ACM, October 2024, 184 pp, ISBN: 979-8-4007-0865-7. https://dl.acm.org/doi/book/10.1145/3603288
The book Formal Methods for Safe Autonomy: Data-driven Verification, Synthesis, and Applications by Chuchu Fan sets forth a vision for formal verification of cyber-physical systems recast in the data-driven age. By making simulators an integral part of the verification and synthesis processes, the book introduces a family of scalable algorithms that provide guarantees of safe autonomy and illustrates them on a set of formally validated applications. Achieving scalability while maintaining the rigor of formal methods is what sets this work apart from previous approaches.
Although not primarily intended as an introductory text, this book can nonetheless serve as a solid entry point into formal verification and synthesis of cyber-physical systems, particularly for graduate students and researchers with an interest in the field. The included examples and case studies make it a valuable resource for teaching.
Springer, February 2023, 485 pp, ISBN: 978-3-031-23668-6. https://doi.org/10.1007/978-3-031-23669-3
Domain-Specific Languages – Effective Modeling, Automation, and Reuse by Andrzej Wasowski and Thorsten Berger (Springer) offers a comprehensive introduction to DSLs, combining perspectives from both the modelware (MDSE, meta-modelling) and grammarware (grammars, parsers) communities. The book systematically covers domain analysis, abstract and concrete syntax, static and dynamic semantics, code generation, and tool support, enriched with examples from robotics, machine learning, and embedded systems to show DSLs’ practical relevance in agile and low-code development. Aimed at advanced students and instructors, it blends solid theoretical foundations with exercises, teaching guidelines, and case studies, making it a valuable resource for both learning and teaching.
FME is now inviting proposals to host the 28th edition of the International Symposium on Formal Methods in autumn 2027. Since FM 2026 will take place in Asia, FM 2027 should preferably be held in Europe – although other locations worldwide will also be considered.