Accueil | Actualité | Présentation | Tutoriels | Documents | Télécharger | Installation | Liens | Contact | |


Présentation de B4Free

Qu'est-ce que B4Free ?

B4Free permet une utilisation opérationnelle de la méthode formelle B et offre, au sein d'un environnement cohérent, de nombreuses fonctionnalités permettant de gérer des projets en langage B :

  • les vérifications syntaxiques des modèles, la génération automatique des théorèmes à démontrer, la traduction automatique des modèles B bas niveau vers les langages C et Ada,
  • une aide à la preuve, pour démontrer automatiquement les théorèmes,
  • une aide au développement: gestion automatique des dépendances entre composants B, bibliothèques réutilisables, génération de documentation et génération de métriques,
  • représentation graphique de projets, navigateur hypertexte pour se diriger dans un projet, affichage de l'état et des statistiques d'un projet, génération automatique du dictionnaire des termes d'un projet, archivage des projets.

Historique des Versions de B4Free

  • B4Free Version 3.2
    • version basée sur l'Atelier B 3.7
    • intégration d'un générateur de code permettant de traduire les implémentations B en langage C (traducteur ComenC)