Méthode B, pour des logiciels fiables

Ce site a pour but de présenter les différents travaux et sujets de réflexion de Clearsy sur la méthode B, méthode formelle avec preuve.

Outils B et méthode

  • logo atelier b menu Atelier B
    Atelier de génie logiciel permettant de développer des logiciels prouvés sans défaut.
  • logo brama menu Brama
    Plugin Eclipse permettant d’animer un modèle événementiel à partir de la plateforme RODIN.
  • logo composys menu CompoSys
    Méthode et outil pour des descriptions formelles de systèmes. Fonctionne également sous RODIN
  • logo rodin RODIN
    Plateforme ouverte pour la modélisation et la preuve de systèmes complexes en B événementiel. Il supporte les outils B suivants Brama, B2RODIN et CompoSys.

Les commentaires sont fermés.