What’s the point of Formal Methods?

Railway signaling systems are surprisingly expensive to produce. Why did this happen? In the early days of railway history there were no interlocking systems. It was considered enough to have personnel at the train stations manually observing trains and operating signals. The need for automatic signalling eventually became evident: human beings tend to make mistakes, [...]