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
Atelier B
Atelier de génie logiciel permettant de développer des logiciels prouvés sans défaut.
Brama
Plugin Eclipse permettant d’animer un modèle événementiel à partir de la plateforme RODIN.
CompoSys
Méthode et outil pour des descriptions formelles de systèmes. Fonctionne également sous 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.

Français
English 