> I hope this leads you to think about the ways that your work could be more productive if you had better tools to deal with distributed systems, and what those

> I hope this leads you to think about the ways that your work could be more productive if you had better tools to deal with distributed systems, and what those might be. We have tools. Promula/SPIN model checker is one just off the top of my head.