Accueil |
Actualités B |
La Méthode B |
Travaux R&D |
Preuve Formelle |
Publications |
Conférences |
B, les différents langages |
Projets Open Source |
Outils B |
Documents |
Liens |
Contact
Méthode B
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.
 |
La Méthode B et ses Outils |
 |
|
|
|
|
Atelier
B :
Outil industriel qui permet une utilisation opérationnelle de la méthode
B.
|
|
|
Brama
:
Outil d'animation graphique de modèle formel B.
|
|
|
CompoSys :
Méthode et outil pour des descriptions formelles de systèmes.
|
|
|
RODIN
:
Plateforme ouverte pour la modélisation et la preuve de systèmes complexes en B événementiel.
|
|
|
|
|
Méthode B |
|
|
|
|
|
|
|
|
|
Actualités
[ 08-03-10 ] :
[ 08-02-10 ] :
[ 16-12-09 ] :
|
ClearSy Tools