Altran is a major contributor to SPARK these days [1].<p>I&#x27;ve been a big believer in TDD for many years (and still am), but reading a lot of Dijkstra lately I started to feel guilty for not keeping up with the state of the art in formal techniques. :) So I&#x27;ve been looking around in just the last couple of weeks to figure out what the best tools are these days. This discussion has been very helpful.<p>[1] <a href="http:&#x2F;&#x2F;www.spark-2014.org&#x2F;contributors" rel="nofollow">http:&#x2F;&#x2F;www.spark-2014.org&#x2F;contributors</a>