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)
  • Formation sur l’outil BART
• 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
  • Outils B en téléchargement
• Support et Maintenance Atelier B
  • Télécharger l’Atelier B
  • Contrat de Maintenance
    • Maintenance Atelier B
  • Historique des Versions de 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
  • Politique de Distribution de l’Atelier B
  • Références Industrielles de l’Atelier B
  • Articles de Presse sur l’Atelier B, et les Méthodes Formelles
  • Liens
  • Publications Méthode B / Méthodes Formelles
• Travaux R&D (Recherche & Développement)

Travaux R&D

• Projet BART
• B4L4
• DEPLOY
• FORCOMENT
• MATISSE
• PUSSEE
• RIMEL
• RODIN
• VERBATIM

Articles d'actualités

• 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