Créé par essaimage du Centre de recherches australien sur les technologies de communication et d'information Nicta, Red Lizard Software, dont les produits sont distribués en France par Antycip, est l'un des principaux fournisseurs d'outils intégrés d'analyse statique de code C/C++ sur le marché des applications embarquées critiques. La société se présente comme la première à avoir combiné les technologies automatisées d'analyse statique et de vérification de modèles.