Пошук академічних текстів

Інформація × Реєстраційний номер 0205U004483, 0102U000496 , Науково-дослідна робота Назва роботи Розробити дедуктивні методи верифікації теорем з математики та програмного забезпечення ЕОМ Назва етапу роботи Керівник роботи Капітонова Юлія Володимирівна 2.Летичевський Олександр Адольфович, Дата реєстрації 04-04-2005 Організація виконавець Інститут кібернетики ім. В.М.Глушкова НАН України Опис етапу Досліджено проблеми, пов'язані з верифікацією вимог до програмного забезпечення ЕОМ та автоматизацією доведення теорем математики. Запропонова підхід до перевірки коректності вимог до програмних систем. Визначена семантика формальної мови вимог. Засобами інсерційного програмування реалізовано систему верифікації вимог. Результати НДР використано для розробки телекомунікаційних систем Опис продукції Автори роботи Додано в НРАТ 2020-04-02 Закрити