Formal Methods of Software Design an Online Course by Eric Hehner
I've done this course. It's interesting and makes you think, would recommend if that's what you're looking for.While not my area of expertise, I don't this course is particularly relevant to any practical modern formal methods unless you want to reinvent the world.