Contact
Atelier B
Atelier B 4.5
Enseignement Méthode B
Formation B
Formation niveau 1
Formation niveau 2
Formation niveau 3
Formation Event-B
Méthode B
Langages B
Raffinement automatique
Preuve formelle
Génération de code
Support et Maintenance
Télécharger l’Atelier B
Recherche & Développement
Travaux R&D
Afficher le
plan de site
Actualités
Téléchargement
Méthode B
Home
/
Plan de site
Plan de site
Menu principal du site
actualités
Contact
Documents dédiés aux Méthodes Formelles et à la Méthode B
Formation à la méthode B
Formation à la Méthode B – Niveau 1 : Comprendre B
Formation à la Méthode B – Niveau 2 : Pratiquer B
Formation à la Méthode B – Niveau 3 : Prouver B
Formation Event-B (B événementiel)
Outil Atelier B
Atelier B 4.5
Enseignement de la Méthode B
Outil pour la méthode formelle B permettant de développer des logiciels prouvés sans défaut
Plan de site
Politique de confidentialité
Présentation de la Méthode B
Les différents langages B
Raffinement automatique
Preuve formelle
Génération de code
Support et Maintenance Atelier B
Télécharger l’Atelier B
Version – Atelier B 4.1.0
Version – Atelier B 4.0.2
Version – Atelier B 4.0
Version – Atelier B 4.0 beta
Version – Atelier B 3.7.2
Version – Atelier B 3.7.1
Version – Atelier B 3.7
Travaux R&D (Recherche & Développement)
Travaux R&D
LCHIP
AIDOART
BLASST
DISCONT
ICSPA
Articles d'actualités
Le nouvel Atelier B 4.7 est disponible.
Atelier B pour développer une implémentation OPC UA open source
Atelier B 4.6 pour EAL6+
IA pour la preuve interactive
Tutoriel « Utiliser B pour programmer la CLEARSY Safety Plateform »
Publication de la vidéo du wébinaire « Introduction à la CLEARSY Safety Platform »
Version 4.6.3 de l’Atelier B
Rodin : nouvelle versions 2.3.0 du plug-in des prouveur de l’Atelier B
Version 4.5.1 de l’Atelier B pour Mac-OS
Sortie de la version de maintenance 4.5.5 de l’Atelier B
AFADL – GDR GPL : CLEARSY fera une présentation sur l’Intégration d’outils tiers de preuve automatique dans l’Atelier B
Version 4.5.1 de l’Atelier B
Version 4.5 de l’Atelier B
Conférence Formal Methods – FM 2018 – Oxford
Conférence Formal Methods à Oxford du 15 au 17 juillet 2018
Méthodes formelles et systèmes cyber-physiques – Séminaire à Shonan
Projet LCHIP et architecture double processeur: premier starter kit
Conférence internationale SBMF 2017
Prochaine session de formation B, niveau 2
La nouvelle version 4.4.2 de l’AtelierB est disponible
Version 4.4.2 de l’Atelier B
CLEARSY organise un séminaire technique à l’Université de Sherbrooke (Québec) le jeudi 20 octobre 2016 de 10h30 à 12h.
CLEARSY présente le projet LCHIP au congrès Lambda Mu de la Maîtrise des Risques, le 13 octobre à St-Malo.
L’Atelier B a fêté ses 20 ans
Architecture bi-processeur SIL4 présentée du Printemps de l’Innovation Open Source
Atelier de modélisation temporelle Waruna présenté au salon « Machine to Machine & Objets connectés »
Sortie de la version de maintenance 4.3.1 de l’Atelier B
Architecture double cœur SIL4 présentée au Forum IFSTTAR « Sûreté et sécurité dans les transports »
Atelier B 4.2.1 Free
Erreurs bxml avec Atelier B 4.2 Free
Sortie de l’Atelier B version 4.2.0
L’ATELIER B 4.2 FÊTE SES 20 ANS
Congrès de Sûreté de Fonctionnement et de Maîtrise des Risques
CLEARSY participe au Forum Méthodes Formelles « Le model-checking en action »
ABZ 2014
AFADL 2014 : Les 11 et 12 juin 2014
Le 28 avril 2014 à l’institut Henri Poincaré : Méthodes formelles et langages pour le développement de logiciels fiables dans l’industrie
3 juin 2014 – NEPTUNE – TELECOM ParisTech
ABZ 2014 – Toulouse du 2 au 5 juin
ERTS 2014
Présentation aux étudiants en M2 Science et Technologie du Logiciel
Nos prochaines formations
Atelier B 4.1.1
Séminaire INRIA « Ingénierie des Modèles »
Séminaire DGA « Ingénierie des Systèmes Complexes »
Séminaire technique à l’Université de Newcastle
Conférence CAI 2013
Séminaire Dagstuhl 2013
Utilisation de la preuve formelle système pour garantir le nouveau CBTC de la ligne 7 (flushing) de New York
SuperZenon pour compléter le prouveur de l’Atelier B
Comment installer l’Atelier B 4.1 sur une machine Debian 64 bits
Vérification formelle de programmes automates avec la méthode B
Atelier B 4.1.0 & le Japon
Atelier B 4.1.0
Event B 2012: Workshop on the experience of and advances in developing dependable systems in Event B
Conférence sur les méthodes formelles à l’Institut Aéronautique et Spaciale
Validation / génération de données
Atelier B 4.1 Beta 1
BWare: preuve automatique d’obligations de preuve B
Journées sur la fiabilité du Logiciel – 14 & 15 juin 2012
AI4FM 2011
L’Atelier B 4.0.2 est disponible pour les détenteurs d’un contrat de maintenance
FM2011 Industry Day
From Research to Teaching Formal Methods: the B Method – Nantes 2010
Bibliographie : Jean-Raymond Abrial sort un livre dédié au B évènementiel
Conférence de Nantes 2010 : “La Méthode B, de la Recherche à l’Enseignement”
Workshop on B Dissemination
B Dissemination Day – Satellite event of Grace International Symposium on Advanced Software Engineering 2010
CLEARSY annonce sa participation au FMICS 2010
WOBD – Workshop on B Dissemination – Evénement satellite de SBMF 2010
L’Atelier B 4.0.1 est disponible pour les détenteurs d’un contrat de maintenance
CLEARSY organise un Workshop « B Dissemination Day » à Tokyo
CLEARSY était présente au FMICS 2009
Enseignement des Méthodes Formelles à l’ENSI de Bourges
Enseignement des Méthodes Formelles à l’Ecole des Mines de Gardanne en 2010
Smart Event 2009 – Présentation du projet Forcoment, développé avec l’Atelier B
Workshop on Recent Innovations and Applications in B (RIAB)
Smart Event 2009 – Présentation du projet Forcoment, développé avec l’Atelier B
ProB, utilisable depuis l’Atelier B 4.0
Etat d’Avancement des Traductions des Manuels Atelier B
RIAB – Workshop on Recent Innovations and Applications in B
L’Atelier B 4.0 est disponible !
L’Atelier B 4.0 en beta test 2…
Workshop RODIN, Université de Southampton, 16-17 juillet 2009
L’Atelier B 4.0 en beta test…
L’Atelier B 4.0 est disponible !
Quelques captures d’écran de l’Atelier B 4.0
Conférence : La Méthode B, de la Recherche à l’Enseignement à Nantes
Atelier B 3.7.2
La nouvelle version de l’Atelier B est en beta test 2
Conférence ABZ 2010
La nouvelle version de l’Atelier B est en beta test
CLEARSY met à disposition des étudiants et chercheurs une licence de l’outil industriel Atelier B.
Journées de Présentation de la Méthode B à Salvador et Sao Paulo, au Brésil
Atelier B 4.0 : Etat d’Avancement
Quelques captures d’écran de l’Atelier B 4.0
Projets Open Source de CLEARSY
Atelier B 3.7.1
Conférence de Nantes du 16 juin 2008
Gratuité de l’Atelier B
Colloque International FMICS 2009
Colloque International IFM 2009
Conférence FM’2008, à Turku, en Finlande
Colloque « B Dissemination Day 2008 », au Brésil
Colloque International « Open Source Software Certification » – 10 septembre 2008, Milan
Conférence : la Méthode B, de la Recherche à l’Enseignement
Conférence ABZ 2008 du 16 au 18 septembre 2008, à Londres
Colloque sur les méthodes formelles à Turku, en Finlande
DASIA 2008, du 27 au 30 mai 2008, à Palma de Majorque
Conférence : La Méthode B, de la Recherche à l’Enseignement
Conférence sur les Méthodes Formelles d’Ingénierie
L’Atelier B 3.7 est disponible
Rodin Industry Day
Conférence B 2007 à Besançon du 17 au 19 janvier 2007
Roadmap CLEARSY 2007/2008
Plateforme RODIN
Conférence AFADL’06
Catégories des actualités
Actualités
Colloque
Conférences
Divers
Documentation
Outils associés
Politique de distribution
ProB
Versions
Top
Copy link
Copy
Copied
Powered by
Social Snap