В этом докладе предлагаются методы для построения минимальных конечно-автоматных моделей функциональных блоков по заданным примерам поведения и линейным темпоральным свойствам, основанные на применении инкрементальных SAT-решателей.

Чухарев К.И. (науч. рук. Чивилихин Д.С.) Построение конечно-автоматных моделей функциональных блоков по примерам поведения и темпоральным свойствам // Сборник тезисов докладов конгресса молодых ученых. Электронное издание. – СПб: Университет ИТМО, [2019]. URL: https://kmu.itmo.ru/digests/article/1283