Корниенко, А. А. Метод формальной верификации и анализа защищенности реляционных баз данных на основе метамодели требований целостности [Текст] / А. А. Корниенко, М. Л. Глухарев // Проблемы информационной безопасности. Компьютерные системы. - 2013. - № 1. - С. 20-27 : табл., схема. - Библиогр.: с. 27 (7 назв.) . - ISSN 2071-8217
Рубрики: Вычислительная техника Диалоговые вычислительные системы для специальных целей Программирование ЭВМ. Компьютерные программы. Программотехника Кл.слова (ненормированные): базы данных -- безопасность баз данных -- верификация -- метамодели целостности -- ограничения целостности -- реляционные базы данных -- триггерные связки -- триггеры -- формальная верификация -- функциональная корректность Аннотация: Рассматривается метод формальной верификации, основанный на метамодели требований целостности и позволяющий проверять функциональную корректность ограничений целостности и триггеров реляционных баз данных. Доп.точки доступа: Глухарев, М. Л. Нет сведений об экземплярах (Источник в БД не найден) |
Резников, В. М. Критика оснований принятия моделей независимых испытаний на основе интуитивных аргументов [Текст] / В. М. Резников // Философия науки. - 2021. - № 4. - С. 70-81. - Библиогр.: с. 80-81 (11 назв. ) . - ISSN 1560-7488
Рубрики: Философия Философия науки Математика Математическая логика Геометрия Кл.слова (ненормированные): верификация независимости -- интуитивные аргументы -- понятие независимость -- прикладная математика -- формальная верификация Аннотация: Проведен анализ значимости понятия независимости для философии, чистой математики и прикладной математики. Так, примеры из геометрии и теории множеств демонстрируют, что исследования утверждений, независимых от аксиоматик, явились импульсом для развития как этих наук, так и математической логики. Нет сведений об экземплярах (Источник в БД не найден) |
Непомнящий, О. В. (кандидат технических наук). О корректности эквивалентных преобразований в процессе функционально-потокового, высокоуровневого синтеза СБИС [Текст] / О. В. Непомнящий // Информационные технологии. - 2023. - Т. 29, № 1. - С. 3-11 . - ISSN 1684-6400
Рубрики: Вычислительная техника Программирование ЭВМ. Компьютерные программы. Программотехника Кл.слова (ненормированные): высокоуровневый синтез -- параллельное программирование -- формальная верификация -- цифровые интегральные схемы Аннотация: Рассмотрен оригинальный метод и маршрут функционально-потокового синтеза сверхбольших интегральных схем. Представлен механизм редукции степени параллелизма исходных алгоритмов с учетом налагаемых ограничений целевой платформы. Предлагается использовать разработанные методы формальной верификации для подтверждения адекватности результатов трансформации исходного описания из функционально потокового языка параллельного программирования в языки описания аппаратуры. Нет сведений об экземплярах (Источник в БД не найден) |