РИД
№ 622042700173-8Генератор моделей строковых структур RefSTRMod
27.04.2022
Программа предназначена для порождения моделей в терминах параметризованных строк на стандартном языке описания моделей STR-LIB 2.5, а также на языке Рефал.
ГРНТИ
28.23.15 Распознавание образов. Обработка изображений
28.23.29 Программная реализация интеллектуальных систем
50.05.09 Языки программирования
50.41.23 Программное обеспечение вычислительных сетей
50.33.04 Перспективные архитектуры. Архитектуры параллельной обработки
Ключевые слова
преобразование программ
уравнения в словах
Детали
НИОКТР
Тип РИД
Программа для ЭВМ
Сферы применения
Построение бенчмарков для задач верификации.
Ожидается
Исполнитель
Исполнители
ФЕДЕРАЛЬНОЕ ГОСУДАРСТВЕННОЕ БЮДЖЕТНОЕ УЧРЕЖДЕНИЕ НАУКИ ИНСТИТУТ ПРОГРАММНЫХ СИСТЕМ ИМ. А.К. АЙЛАМАЗЯНА РОССИЙСКОЙ АКАДЕМИИ НАУК
Заказчик
МИНИСТЕРСТВО НАУКИ И ВЫСШЕГО ОБРАЗОВАНИЯ РОССИЙСКОЙ ФЕДЕРАЦИИ
Похожие документы
Генератор рекурсивных распознавателей формальных языков на основе синтаксических диаграмм с многовходовыми компонентами
0.828
РИД
Модельный суперкомпилятор MSCP-A v.1 (MSCP-A v.1)
0.828
РИД
Программа синтеза трансляционных нелинейных рекуррентных последовательностей
0.825
РИД
Модельный суперкомпилятор MSCP-A v.0.5 (MSCP-A v.0.5)
0.822
РИД
Генератор нерекурсивных распознавателей формальных языков на основе синтаксических диаграмм с многовходовыми компонентами
0.819
РИД
Программа генерации формальной автоматной модели на основе формализованной модели требований на языке Reka
0.812
РИД
Универсальный рекурсивный распознаватель формальных языков на основе синтаксических диаграмм с многовходовыми компонентами
0.810
РИД
БИБЛИОТЕКА СОЗДАНИЯ ПАРСЕРОВ НА ОСНОВЕ ГРАММАТИКИ РАЗБИРАЮЩЕЙ ВЫРАЖЕНИЕ, НА БАЗЕ ПЛАТФОРМЫ ЛИБРЕТТО
0.810
РИД
Исследование и развитие алгоритмов верификации программных моделей недетерминированных вычислительных систем, оперирующих строковыми данными
0.808
НИОКТР
Обновление для модельного суперкомпилятора MSCP-A v.1 (MSCP-A SP v.1)
0.806
РИД