-

Composys 1.5 (version Windows) est disponible. La version Linux sera mise à disposition ultérieurement.

La version 1.6 de CompoSys, disponible sous Linux et Windows sera disponible prochainement...(en savoir plus...)

Nouveau : Téléchargez le guide de modélisation V 0.6 (01/06/2007)

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érence ADFADL'06 le 17 mars 2006 à Paris. Vous pouvez maintenant demander le CD de Composys sur la page Demande de CD.

ENGLISH WEBSITE : www.composys.eu