Экспериментальный модуль проверки образцов на неоднозначность AmbPatChecker v.0.5
верификация
Программа предназначена для проверки образцов на неоднозначность с использованием внешних SMT-решателей и случайного эвристического поиска. 
Исходный код AmbPatChecker представлен в виде шести модулей на языке Рефал-5, а также двух shell-скриптов и четырёх заготовочных файлов, использующихся в качестве болванок для генерации кода. По умолчанию программа вызывает открытый SMT-решатель cvc5, однако может использоваться вместе с любым другим SMT-решателем, поддерживающим стандарт языка SMT 2.5.
Для построения и анализа бенчмарков для задач верификации, для анализа формальных языков.
Сергей
Абрамов
Михайлович
врио директора
Доктор физико-математических наук
Член-корреспондент РАН
-
7005979792
1927
https://elibrary.ru/author_items.asp?authorid=1927&pubrole=100&show_refs=1&show_option=0
0000-0001-6603-7971
РОССИЯ
Сергей
Абрамов
Михайлович
ио директора
РОССИЯ
50.05.09
Языки программирования
01.02.EP
COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE
01.02.ET
COMPUTER SCIENCE, INFORMATION SYSTEMS
01.02.EX
COMPUTER SCIENCE, THEORY & METHODS
Антонина
Непейвода
Николаевна
РОССИЯ
МИНОБРНАУКИ РОССИИ
МИНИСТЕРСТВО НАУКИ И ВЫСШЕГО ОБРАЗОВАНИЯ РОССИЙСКОЙ ФЕДЕРАЦИИ
1187746579690
Петр
Мордовской
Григорьевич
Организация
Министерство науки и высшего образования Российской Федерации
Федеральные государственные казенные учреждения
ИПС ИМ. А.К. АЙЛАМАЗЯНА РАН
ФЕДЕРАЛЬНОЕ ГОСУДАРСТВЕННОЕ БЮДЖЕТНОЕ УЧРЕЖДЕНИЕ НАУКИ ИНСТИТУТ ПРОГРАММНЫХ СИСТЕМ ИМ. А.К. АЙЛАМАЗЯНА РОССИЙСКОЙ АКАДЕМИИ НАУК
1027601052225
ИВАН
ГРИГОРЕВСКИЙ
НИКОЛАЕВИЧ
Организация
Министерство науки и высшего образования Российской Федерации
Федеральные государственные бюджетные учреждения