Formal Methods in Computer-Aided Design, FMCAD

Описание

Редакция принимает работы по формальным методам в проектировании систем, а также их применению в области компьютерных наук. Основное внимание уделяется анализу и верификации программного обеспечения, разработке моделей и алгоритмов, а также автоматизированным проверкам. Авторы могут использовать методы моделей проверки, формальной верификации и системного дизайна для решения сложных задач. Журнал охватывает как теоретические аспекты, так и практические приложения, что делает его интересным для разработчиков, исследователей и специалистов в области компьютерных систем и программирования. Подойдет для ученых, работающих в области верификации и проектирования программного обеспечения.