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.<p>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.