Application of formal method in the French railway telephony system

As long as railways telecommunication systems are digitalized and as a result of development and modernization, telephony communication links are getting more important in the railway telephony systems. However, when designing, some expected functionalities are not realized due to the misinterpretation or not detailed specifications. The use of formal method...