Logiciels et brevets - Caduceus : Outil Caduceus de vérification de programmes C - Krakatoa : Outil Krakatoa de vérification de programmes Java - CiME : CiME: une boîte à outils pour la démonstration automatique. - Frama-C : Framework for Modular Analysis of C