I wonder if there are any advantages to using formal methods over thread-local simulation in this case. Eighteen months is a long time of development, and the

I wonder if there are any advantages to using formal methods over thread-local simulation in this case. Eighteen months is a long time of development, and there are at least some benefits to catching bugs in the design phase before pursung implementation.