![logo-conference-fm-2008](https://www.atelierb.eu/wp-content/uploads/2012/08/logo-conference-fm-2008.jpg)
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.