SIGNAL+DRAHT | Issue 11/2002
Verification and Validation of Interlockings in the Netherlands
The verification and validation processes in the Netherlands evolve from implicit to explicit formal methods. In this paper the evolution is placed in the context of a migration of organisations and signalling techniques. These new organisations and techniques demand the use of formal methods.