A typical passenger train weighs between 1500 and 6000 tons and its freight train counterpart weighs more, between 3000 and 18000 tons. Trains are massive. The risks involved in such a mass travelling at high speeds make the safety aspects of the railway industry unique.
Although the industry can pride itself with unusually high standards, each accident has the potential to develop into a major disaster. These risks demand verification techniques that go beyond the limits of testing. This is where the strengths of Formal Verification come into effect.
Download the white paper to see what motivates our conviction.