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
|
RIAB - Workshop on Recent Innovations and Applications in B .:. posté par ClearSy le 29-04-09 à 14h47 .:.
|
 Le workshop "Recent Innovations and Applications in B" (RIAB) aura lieu le 3 novembre 2009 durant le Formal Methods Week...
En savoir plus sur RIAB... |
|
|
Workshop RODIN, Université de Southampton, 16-17 juillet 2009 .:. posté par ClearSy le 20-03-09 à 14h39 .:.
|
 Le workshop "Recent Innovations and Applications in B" (RIAB) aura lieu le 3 novembre 2009 durant le Formal Methods Week...
En savoir plus sur RIAB... |
|
|
L'Atelier B 4.0 est disponible ! .:. posté par ClearSy le 23-02-09 à 08h38 .:.
|
 Nous avons le plaisir de vous annoncer la sortie de l'Atelier B 4.0. Celle-ci s'accompagne d'un tout nouveau mode de distribution pour lequel :
Parmi les principales évolutions de l'outil, notons surtout :
- la compatibilité Mac OS X et Windows supportés en plus de Linux et Solaris
- une nouvelle interface graphique proposant:
- l'intégration des fonctionnalités du paralléliseur (application visant a optimiser les temps de traitement des projets B par une utilisation transparente, distante et parallèle de l'Atelier B.)
- une interface de preuve repensée
- un éditeur avec navigation et complétion automatique
- Intégration de la preuve de bonne définition des modèles
- Ajout d'un outil de raffinement automatique (BART)
Nous vous invitons à télécharger cette nouvelle version sur le site Atelier B : Télécharger l'Atelier B. |
|
|
Conférence : La Méthode B, de la Recherche à l'Enseignement à Nantes .:. posté par ClearSy le 10-02-09 à 14h32 .:.
|
 L'université de Nantes organise une nouvelle édition de sa conférence dédiée à la Méthode B. Celle-ci de déroulera le 8 juin 2009, à la Cité Internationale des Congrès, dans la ville de Nantes, et abordera les différentes problématiques inhérentes à B. ClearSy y présentera les dernières évolutions de l'Atelier B, au cours d'une présentation intitulée : "New features of Atelier B 4.0".
Pour vous inscrire à cette conférence, merci de visiter la page suivante : www.lina.sciences.univ-nantes.fr
Pour connaître le programme de cette conférence, nous vous invitons à découvrir :
|
|
|
La nouvelle version de l'Atelier B est en beta test 2 .:. posté par ClearSy le 01-12-08 à 14h31 .:.
|
| Pour en savoir plus, rendez-vous sur le site de l'Atelier B. |
|
|
Conférence ABZ 2010 .:. posté par ClearSy le 18-11-08 à 14h29 .:.
|
 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. Thierry Lecomte et Lilian Burdy feront notamment partie du comité de programme d'ABZ 2010, et présenteront un tutoriel dédié à l'outil BART, un outil de raffinement automatique de machines B.
Au cours de ce tutoriel, ClearSy compte :
- présenter l'outil BART et son intégration dans l'Atelier B,
- expliquer à quel moment il peut être utilisé et comment l'utiliser sur des exemples simples,
- aborder des notions concernant le raffinement interactif
Liens complémentaires :
|
|
|
Colloque International IFM 2009 .:. posté par ClearSy le 11-06-08 à 14h27 .:.
|
 ClearSy vous informe de sa participation au colloque IFM 2009 (Integrated Formal Methods) qui se tiendra du 16 au 19 février 2009 à Düsseldorf. Cette 7eme édition portera sur l'intégration des méthodes formelles.
Site de IFM 2009 |
|
|
Colloque International FMICS 2009 .:. posté par ClearSy le 11-06-08 à 14h26 .:.
|
 ClearSy a le plaisir de vous annoncer sa participation à la 14eme édition du FMICS (Formal Methods for Industrial Critical Systems) qui se tiendra du 2 au 3 novembre 2009 à l'Université d'Eindhoven. Cet événement se déroulera sous la forme d'un groupe de travail portant sur les méthodes formelles utilisées dans le cadre du développement de systèmes critiques industriels.
Site de FMICS 2009 |
|
|
La nouvelle version de l'Atelier B est en beta test .:. posté par ClearSy le 22-09-08 à 14h25 .:.
|
| Pour en savoir plus, rendez-vous sur le site de l'Atelier B. |
|
|
Quelques captures d'écran de l'Atelier B 4.0 .:. posté par ClearSy le 05-08-08 à 14h22 .:.
|
En attendant la sortie de l'Atelier B 4.0, nous vous laissons découvrir en avant première quelques captures d'écrans de notre application sous les systèmes d'exploitation Windows, Linux et Mac...
|
|
|
|
