https://libeldoc.bsuir.by/handle/123456789/34162| Title: | Автоматизация верификации программного обеспечения связанных с безопасностью систем |
| Authors: | Сивко, Б. В. |
| Keywords: | материалы конференций;задачи верификации;программное обеспечение |
| Issue Date: | 2018 |
| Publisher: | БГУИР |
| Citation: | Сивко, Б. В. Автоматизация верификации программного обеспечения связанных с безопасностью систем / Б. В. Сивко // Информационные технологии и системы 2018 (ИТС 2018) = Information Technologies and Systems 2018 (ITS 2018) : материалы международной научной конференции, Минск, 25 октября 2018 г. / Белорусский государственный университет информатики и радиоэлектроники ; редкол.: Л. Ю. Шилин [и др.]. – Минск, 2018. – С. 266–267. |
| Abstract: | Рассматривается практика верификации программного обеспечения систем, связанных с безопасностью. В докладе излагается несколько задач верификации, решение которых проводится автоматизированными программными средствами. В качестве таких задач рассматривается определение временных параметров работы устройств, оценка степени диверситета аппаратно-программных комплексов, автоматизация выбора адресов по методу обнаружения отказов на основе доступности адресных данных. Решения основываются на формальной верификации исходного кода программ. |
| URI: | https://libeldoc.bsuir.by/handle/123456789/34162 |
| Appears in Collections: | ИТС 2018 |
| File | Description | Size | Format | |
|---|---|---|---|---|
| Sivko_Avtomatizatsiya.PDF | 324.5 kB | Adobe PDF | View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.