Дедуктивная верификация reflex-программ [Текст] / И. С. Ануреев, Н. О. Гаранина, Т. В. Лях [и др.] // Программирование. - 2020. - № 4. - С. 14-26 . - ISSN 0132-3474
Рубрики: Вычислительная техника Программирование ЭВМ. Компьютерные программы. Программотехника Кл.слова (ненормированные): reflex-программы -- Хоара стиль -- метод верификации -- программное обеспечение -- стиль Хоара Аннотация: Представлен новый двухшаговый метод верификации для управляющего программного обеспечения. Доп.точки доступа: Ануреев, И. С.; Гаранина, Н. О.; Лях, Т. В.; Розов, А. С.; Зюбин, В. Е.; Горлач, С. П. Имеются экземпляры в отделах: всего 1 : н.з. (1) Свободны: н.з. (1) |