Present thesis outlines a thorough approach for verifying and validating railway software that is crucial for safety, with a focus on following CENELEC requirements and attaining Safety Integrity Level 4 (SIL4). The thesis ...