Learn More
In this paper we describe the successful application of the ProB tool for data validation in several industrial applications. The initial case study centred on the San Juan metro system installed by Siemens. The control software was developed and formally proven with B. However, the development contains certain assumptions about the actual rail network(More)
In this paper we describe the successful application of the ProB validation tool on an industrial case study. The case study centres on the San Juan metro system installed by Siemens. The control software was developed and formally proven with B. However, the development contains certain assumptions about the actual rail network topology which have to be(More)
In this chapter, we describe the successful application of ProB on industrial projects realized by Siemens. Siemens are successfully using the B-method to develop software components for zone controller and carbonne controller of CBTC systems. However, the development contains certain assumptions about the actual rail network topology which have to be(More)
  • 1