Home - News - Products - Versions - Download - Manuals - Maintenance - Distribution Policy - Roadmap & Contribution - Support - Training - Documents - Press - References - R&D - Contacts - Jobs - Links - Your Account 

Training

Training B

B training sessions are probably the best and most efficient way to discover B. A formal method can't be learned only by testing the software tool which implements it ! This is the very reason why new Atelier B package now includes those training sessions. Purchasing only level 1 session is also a good way to discover B and to experiment its tools. ClearSy proposes three training session levels related to the use of B and Atelier B:

Training Name

Objectives

Understand B

 

  • Understand the B fundamental principles.
  • Discover the B language.

 

Practice B

 

  • Understand how to develop a project with B.
  • Build "good"; B models.
  • Learn B language advanced features.
  • Discover event driven B.

Prove B

 

  • Learn to prove a B model with Atelier B.

 
 

Training Name

Objectives

BART Tool Training
  • Learn to refine a B model automatically with Bart.

 

Dedicatedtraining sessions may be organized with a minimum of three students. Contact ClearSy for more details at: formationb@clearsy.com.