Via the article WiDS Checker: Combating Bugs in Distributed Systems I found out about WiDS: An Integrated Tool Kit for Distributed-System Development which has been available for quite some time now. That would be a great feature for a future version of Team System!