Comment by senderista

There's a pretty fundamental difference: TDD is about avoiding up-front design, while formal specification literally is up-front design.