I think it is a common misconception that formal methods will lead to an extremely slow development cycle. That is only the case if you go for the best guarantee of correctness: Theorem Proving.

There are more agile options. For example, model checking all protocols is pretty easy in comparison to theorem proving. Still a significant effort, but perhaps an order of magnitude easier.