The train control system is the heart of Chinese high-speed railways, which is a core technology to ensure safe operation as well as high throughput of trains (see Figure 1). The correctness of the ...