<story><title>Formal Methods of Software Design an Online Course by Eric Hehner</title><url>http://www.cs.utoronto.ca/~hehner/FMSD/</url></story><parent_chain><item><author>gpm</author><text>I&amp;#x27;ve done this course. It&amp;#x27;s interesting and makes you think, would recommend if that&amp;#x27;s what you&amp;#x27;re looking for.&lt;p&gt;While not my area of expertise, I don&amp;#x27;t this course is particularly relevant to any practical modern formal methods unless you want to reinvent the world.</text></item></parent_chain><comment><author>iaresee</author><text>I took both the intro and advanced version of this course in my undergrad. Academically interesting stuff, but the inability to translate from proved system to implemented and proved system was always frustrating.&lt;p&gt;It was definitey a clear delineation between _computer science_ and _engineering science_ during my undergraduate courses.</text></comment>
<story><title>Formal Methods of Software Design an Online Course by Eric Hehner</title><url>http://www.cs.utoronto.ca/~hehner/FMSD/</url></story><parent_chain><item><author>gpm</author><text>I&amp;#x27;ve done this course. It&amp;#x27;s interesting and makes you think, would recommend if that&amp;#x27;s what you&amp;#x27;re looking for.&lt;p&gt;While not my area of expertise, I don&amp;#x27;t this course is particularly relevant to any practical modern formal methods unless you want to reinvent the world.</text></item></parent_chain><comment><author>tra3</author><text>It it applicable to the &amp;quot;practical&amp;quot; (or practiced?) software development?</text></comment>