Верификация в исследовательских, учебных и промышленных системах

Немолочнов О.Ф., Зыков А.Г., Лаздин А.В., Поляков В.И.



Аннотация

Рассматривается метод верификации программ относительно друг друга на основе алгебротопологического подхода с применением теории множеств и теории графов.




Creative Commons License

This work is licensed under a Creative Commons Attribution-NonCommercial 4.0 International License
Информация 2001-2019 ©
Научно-технический вестник информационных технологий, механики и оптики.
Все права защищены.

Яндекс.Метрика