One can learn to apply Formal Methods at many levels in any language using available tools at hand. For some ideas see; 1) On Formal Methods Thinking in Comput

One can learn to apply Formal Methods at many levels in any language using available tools at hand. For some ideas see; 1) On Formal Methods Thinking in Computer Science Education - https://dl.acm.org/doi/10.1145/3670419 https://dl.acm.org/doi/10.1145/3670419 2) (In-)Formal Methods: The Lost Art --- A Users’ Manual by Carroll Morgan - https://fme-teaching.github.io/2019/10/03/in-formal-methods-the-lost-art-a-users-manual/ https://fme-teaching.github.io/2019/10/03/in-formal-methods-... 3) Forthcoming book by Carroll Morgan Formal Methods, Informally How to Write Programs That Work - https://www.cambridge.org/highereducation/books/formal-methods-informally/4DE900050EB3C855E4BB627A94B4176E#overview https://www.cambridge.org/highereducation/books/formal-metho... 4) Understanding Formal Methods by Jean-Francois Monin - A firehose of information.