Français Anglais
Accueil Annuaire Plan du site
Accueil > Production scientifique > Logiciels et brevets
Production scientifique
Logiciel Frama-C
Frama-C - Framework for Modular Analysis of C
Date de dépôt : 01 janvier 1970

Responsable : MARCHÉ Claude


Frama-C is a suite of tools dedicated to the analysis of the source code of software written in C.

Frama-C gathers several static analysis techniques in a single collaborative framework. Some parts of the framework are nearing completion and can already provide useful results, while other parts should still be considered experimental. The collaborative approach of Frama-C allows static analyzers to build upon the results already computed by other analyzers in the framework. Thanks to this approach, Frama-C already provides sophisticated tools such as a slicer and dependency analysis.

Pour en savoir plus: http://frama-c.cea.fr/

Logiciel - Licence : LGPL



Activités de recherche
  Preuve de programme
  Formalisation et preuves de programmes numériques
  Vérification déductive de programmes

Membres
  MARCHÉ Claude
  MBIADA NDJANDA Jacques Charles

Equipe
  Vérification d'Algorithmes, Langages et Systèmes
Logiciels et brevets
BSP++
The C++ Bulk Synchronous Parallelism Library

TAXOMAP ALIGNMENT
Un outil d'alignement de taxonomies

FR1155729
Procédé pour l’extinction de routeurs dans un réseau de communications et routeur mettant en œuvre ce procédé