Formal Aspects of Computing

Описание

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