Экспериментальное сравнение двух подходов к верификации логических схем на основе проверки выполнимости КНФ...

by Кидярова, Галина Владимировна
Published in Известия высших учебных заведений. Физика

Экспериментальное исследование решателя MiniSat

by Кидярова, Галина Владимировна
Published in Новые информационные технологии в исследовании сложных структур : материалы десятой Российской конференции с международным участием

К построению тестов для последовательностных схем с использованием системы АВС

by Кидярова, Галина Владимировна
Published in Новые информационные технологии в исследовании сложных структур : материалы одиннадцатой международной конференции, 6-10 июня 2016 г.

Эффективное внутреннее представление дизъюнктов и интервалов для проверки выполнимости КНФ

by Кидярова, Галина Владимировна
Published in Новые информационные технологии в исследовании сложных структур : материалы Девятой Российской конференции с международным участием

К верификации логических схем на основе временных автоматов

by Кидярова, Галина Владимировна
Published in Известия высших учебных заведений. Физика