Какие средства используются для проверки корректности асинхронных операций в программных системах?