I came across this recently, really interesting list with further links<p>Software Horror Stories : <a href="http:&#x2F;&#x2F;www.cs.tau.ac.il&#x2F;~nachumd&#x2F;verify&#x2F;horror.html" rel="nofollow">http:&#x2F;&#x2F;www.cs.tau.ac.il&#x2F;~nachumd&#x2F;verify&#x2F;horror.html</a>