<instructions>Your goal is to analyze the following comment and estimate how highly it will be upvoted by the Hacker News community.</instructions><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><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><story><title>Formal Methods of Software Design an Online Course by Eric Hehner</title><url>http://www.cs.utoronto.ca/~hehner/FMSD/</url></story>
<instructions>Your goal is to analyze the following comment and estimate how highly it will be upvoted by the Hacker News community.</instructions><comment><author>tra3</author><text>It it applicable to the &amp;quot;practical&amp;quot; (or practiced?) software development?</text><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><story><title>Formal Methods of Software Design an Online Course by Eric Hehner</title><url>http://www.cs.utoronto.ca/~hehner/FMSD/</url></story>