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!
No comments yet.