In this talk I will give an overview of the tools supporting the B Method and some
industrial applications of the B Method. I will also talk about on-going and future
work on the development of an open and extensible tool framework for B and related
methods as part of the IST RODIN project. I will describe some important remaining
methodological and technical challenges for B and refinement approaches.
