Frama-C on avoimen lähdekoodin ohjelmisto staattiseen analyysiin. Frama-C on tarkoitettu etsimään mahdollisia virheitä ohjelman lähdekoodin perusteella ja voidaan käyttää apuna esimerkiksi opetuksessa ja sertifiointitarkoituksissa. Frama-C on toteutettu modulaarisesti laajennettavana. Ohjelmiston ovat kehittäneet CEA ja Inria. Ohjelmisto tukee liukulukujen käsittelyä.
Lähteet
Luokka:Staattisen analyysin työkaluohjelmat