Recommendations for intro to Formal Methods course?

For a couple of years now, I've been noticing places where I think my team could benefit from some reasonable/pragmatic application of "Formal Methods" of software design, and have been wanting to act as an advocate for that. My job gives me a budget to spend on continued education / professional development, and I think getting a foundational understanding of Formal Methods could be useful (at least so I can explore how much / which methods would be useful to us).

Does anyone have any recommendations for foundational / overview type courses on FMSD? Interested in free courses, of course, but also looking for something to spend my employers money on, so paid courses are welcome. Thank you!