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.
The 13th International Conference on Formal Methods in Software Engineering (FormaliSE 2025) was held on April 27–28, 2025, in Ottawa, Canada, co-located with the International Conference on Software Engineering (ICSE 2025).
The term of the current Editor-in-Chief (EiC) of the journal Formal Aspects of Computing (FAC), published by ACM in collaboration with BCS, The Chartered Institute for IT, is coming to an end, and the ACM Publications Board and BCS have set up a nominating committee to assist in selecting the next EiC.