Formal verification applications to ensure safety of CBTC systems

A significant number of modern metro systems around the world use Communication-Based Train Control (CBTC) for safer and more efficient train operations. While the role of CBTC is straightforward, the systems themselves are quite complex. Due to this complexity, coupled with high safety requirements imposed on CBTC systems, both suppliers and operators have taken [...]