3 scenarios where formal verification caught errors missed by traditional rail control system tests

As most signal and verification engineers know, when developing and verifying software for rail control systems, testing can be very tricky. Especially when it comes to finding corner cases and scenarios outside of normal operations. When conducting a test, you typically define a test case as well as the circumstances in which you are testing [...]