Утилиты для определения потенциальных Race Condition, dead/live locks для Java, кто какие юзал?

Привет!
Поговаривают, что в Go есть встроенные инструменты для определения потенциальных гонок потоков, так ли это? Они хороши?
И собсна вопрос: в java есть такие тулзы? Сторонние естессно, встроенных в Java нет, как я понимаю?
И главное, они юзабельные? Опыт есть?
Спасибо