Title: Moving Formal Methods into Practice. Verifying the FTPP Scoreboard