Bienvenue sur le site dédié à l'outil CompoSys, nouvel outil distribué par Clearsy, spécialiste de la méthode formelle B.
CompoSys, une méthode et un outil pour les descriptions formelles de systèmes
Processus de modélisation couplée : méthode formelle B / langage naturel
Vérifications automatiques et semi-automatiques de la cohérence
Génération automatique du document final et de différentes vues du système
CompoSys est distribué en version Beta test.
NOUVEAU :Clearsy présente CompoSys à la conférenceADFADL'06 le 17 mars 2006 à Paris. Vous
pouvez maintenant demander
le CD de Composys sur la pageDemande de CD.