нет
если у вас всё работает, то и хорошо
но для проверки, что всё работает, я рекомендую явно запускать несколько конкурирующих тредов, чтобы они потолкались
так уж получилось, что мы не умеем формальную верификацию. а эти "запускатьт несколько тредов" не нужны в простых случаях, а в сложные сами по себе являются достаточно сложной задачей (смотри например
https://github.com/jepsen-io/jepsen, это именно что попытка эмпирически находить ошибки в параллельных системах)
Так или иначе пока что лучшим инструментом написания корректных параллельных алгоритмов является мозг автора.