Formal Methods in Computer-Aided Design, FMCAD

Описание

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