Explore
These books are included in the Directory of Open Access Books. This means that they have been peer-reviewed and are of interest to scholars.
These Creative Commons Attribution licensed ebooks are free to read - the people who created them want you to read and share them.
You are free to: copy and redistribute the material in any medium or format; remix, transform, and build upon the material; for any purpose, even commercially. Under the following terms: You must give appropriate credit, provide a link to the license, and indicate if changes were made. You may do so in any reasonable manner, but not in any way that suggests the licensor endorses you or your use.
Proceedings of the 25th Conference on Formal Methods in Computer-Aided Design – FMCAD 2025
Ahmed Irfan and Daniela Kaufmann, editors
Jonas Nesselhauf and Joachim Rees, editors
