Text this: VERIFICATION OF A TRAIN ON RAILWAY TRACK SIMULATION AND OPTIMIZATION SYSTEM