Method for checking safety requirements of Solid State Interlocking based data used in an interlocking control system for controlling an interlocking equipment, the method comprising the steps of: a) obtaining application data representative of interlocking logic operations of the interlocking equipment; b) preparing a constraint violation file containing data representative of a plurality of constraint violation conditions, said data describing a plurality of unsafe scenarios of the interlocking equipment; for each constraint violation condition of the plurality of constraint violation conditions: c) selecting data of the application data according to the constraint violation condition, said selected data corresponding to a predetermined unsafe scenario of the plurality of unsafe scenarios defined in the constraint violation file; d) determining at least one predetermined context associated to said unsafe scenario, said context comprising a plurality of paths through the application data; e) initializing variables that define all possible states of said unsafe scenario, thus obtaining a predetermined initial state, said variables being representative of the scenario from the point of view of settings of the interlocking equipment; f) executing , starting from said initial state, all possible paths of the context in the application data, thus obtaining respective resulting states; g) at an end of each path, determining if an unsafe state has been reached by comparing a respective resulting state with the data of the constraint violation file; h) if no unsafe state has been detected, determining if the resulting state has not been reached; i) repeating steps f), g) and h), starting, for each path, from the respective resulting state, until unsafe states or no new states are reached. a) obtaining application data representative of interlocking logic operations of the interlocking equipment; b) preparing a constraint violation file containing data representative of a plurality of constraint violation conditions, said data describing a plurality of unsafe scenarios of the interlocking equipment; c) selecting data of the application data according to the constraint violation condition, said selected data corresponding to a predetermined unsafe scenario of the plurality of unsafe scenarios defined in the constraint violation file; d) determining at least one predetermined context associated to said unsafe scenario, said context comprising a plurality of paths through the application data; e) initializing variables that define all possible states of said unsafe scenario, thus obtaining a predetermined initial state, said variables being representative of the scenario from the point of view of settings of the interlocking equipment; f) executing , starting from said initial state, all possible paths of the context in the application data, thus obtaining respective resulting states; g) at an end of each path, determining if an unsafe state has been reached by comparing a respective resulting state with the data of the constraint violation file; h) if no unsafe state has been detected, determining if the resulting state has not been reached; i) repeating steps f), g) and h), starting, for each path, from the respective resulting state, until unsafe states or no new states are reached. <EOS>