| DC Field | Value | Language |
|---|
| dc.contributor.author | Сивко, Б. В. | - |
| dc.date.accessioned | 2019-01-14T08:34:04Z | - |
| dc.date.available | 2019-01-14T08:34:04Z | - |
| dc.date.issued | 2018 | - |
| dc.identifier.citation | Сивко, Б. В. Автоматизация верификации программного обеспечения связанных с безопасностью систем / Б. В. Сивко // Информационные технологии и системы 2018 (ИТС 2018) = Information Technologies and Systems 2018 (ITS 2018) : материалы международной научной конференции, Минск, 25 октября 2018 г. / Белорусский государственный университет информатики и радиоэлектроники ; редкол. : Л. Ю. Шилин [и др.]. – Минск, 2018. – С. 266 - 267. | ru_RU |
| dc.identifier.uri | https://libeldoc.bsuir.by/handle/123456789/34162 | - |
| dc.description.abstract | Рассматривается практика верификации программного обеспечения систем, связанных с безопасностью.
В докладе излагается несколько задач верификации, решение которых проводится автоматизированными
программными средствами. В качестве таких задач рассматривается определение временных параметров работы устройств, оценка степени диверситета аппаратно-программных комплексов, автоматизация выбора адресов по методу обнаружения отказов на основе доступности адресных данных. Решения
основываются на формальной верификации исходного кода программ. | ru_RU |
| dc.language.iso | ru | ru_RU |
| dc.publisher | БГУИР | ru_RU |
| dc.subject | материалы конференций | ru_RU |
| dc.subject | задачи верификации | ru_RU |
| dc.subject | программное обеспечение | ru_RU |
| dc.title | Автоматизация верификации программного обеспечения связанных с безопасностью систем | ru_RU |
| dc.type | Статья | ru_RU |
| Appears in Collections: | ИТС 2018
|
