Приемы дедуктивной верификации программного кода с использованием AstraVer Toolset

Кокорин А.О., Тиевский С.Д., Девянин П.Н.
Приемы дедуктивной верификации программного кода с использованием AstraVer Toolset // Прикладная дискретная математика. 2022. Приложение № 15. С. 80–90. DOI 10.17223/2226308X/15/21.

Перейти к источнику

Приемы дедуктивной верификации программного кода с использованием AstraVer Toolset