|

Abonnez-vous à notre flux RSS
|
|
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.
|
|

|
B4Free
:
Outil logiciel pour l'enseignement de la méthode B en milieu académique, et dédié au développement de logiciels prouvés.
|
|

|
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
- Conférence ABZ 2010
ClearSy annonce sa participation à la Conférence ABZ 2010 qui se tiendra du 23 au 25 février 2010, à Orford au Canada.
Cet événement a pour objectif de réunir les communautés ASM, B, et
Z....
- Colloque International IFM 2009
ClearSy vous informe de sa participation au colloque IFM 2009
(Integrated Formal Methods) qui se tiendra du...
- Colloque International FMICS 2009
ClearSy a le plaisir de vous annoncer sa participation à la 14eme édition du FMICS (Formal Methods for Industrial Critical Systems) qui se tiendra du...
|
Newsletter
|
|
|