Industrialisation de l'interprétation abstraite /
Industrialization of abstract interpretation :

• Allemagne / Germany :
  • AbsInt (Astrée)
• France :
  • PolySpace Technologies
  • Silicomp Software Validation
• USA :
  • Connected Components Corporation (Technology FAQ), founded in 1993, acquired by Intel in March 2001.