Publié le 09/06/2008 |

At the occasion of the FM’2008 international conference on formal methods, located in Turku, Finland, May 28-30 2008, CLEARSY presented, during the Industry Day, a paper entitled “Safe and Reliable Metro Platform Screen Doors Control/Command Systems”, describing our recent, industrial experience in using B for specifying, designing and contributing to the validation of safety critical systems.

A new tool, Bart (B Automatic Refinement Tool) was also presented and demonstrated.