Thread:Talk:Evidence on Formal Methods uses and impact on Industry/Other dimension of the success story classification

JC suggests to also report by "FM tools and tool providers" Some good candidates: Systerel (rodin), ClearSy (atelier b), Sparx Systems (just look at the tools)

Actually we had it on the private wiki: 'Success Stories by FAQ Themes' and Tools is a dimension of the classification