Обнаружение ошибок взаимоисключающей блокировки в программах на языке С# при помощи методов статического анализадоклад на конференции