B Method Site Map

B News

• ClearSy's Open Source Projects
• Free Version of Atelier B
• "B Dissemination Day 2008"
• FLOSS FM 2008
• DASIA 2088
• FM 2008
• Conference : the B Method, from Research to Teaching
• ABZ 2008
• ICFEM 2007

B Method

• B, for the design of proven systems and software
• The B Method
• B Method Objectives
• B Method Distribution
• B Method Users
• The B Method and its Tools
• B Documentation
  
   
   

R&D Activities

• ATELIER B
• B4L4
• BART
• BRAMA
• COMENC
• COSYC
• DEPLOY PROJECT
• EQUAST
• MATISSE
• PUSSEE
• REAIMS
• RIMEL
• RODIN
• VERBATIM

Publications

• ClearSy Publications
• Program Committees
• ClearSy Employee Publications
• BURDY Lilian
• LECOMTE Thierry
• MUSSAT Louis
• SABATIER Denis
  
  
  
  
  
  
  
   

B, The Different Languages

• B
• B Language
• B Method
• Atelier B
• B System
• Event B
• Procedure B
• B  Software
• Classic B
• B Rodin
• B# (Bsharp)

ClearSy's Open Source Projects

• B Compiler
• BART
• HMI Atelier B 4.0
• ComenC
  
  
  
  
  
  
   

B Tools

• B4FREE
• BEDITOR
• RODIN
• BRAMA
• B2RODIN
• COMPOSYS

Documents

• Formal Specification : a Roadmap - Axel va Lamsweerde
• Computer Safety, Reliability, and Security - Francesca Saglietti