Відправити по sms: Подход к автоматизации формальной верификации модулей системного обмена микропроцессоров