Відправити по sms: Verifying multi-threaded software with impact