本期刊的重点是设计、实现和验证硬件 (VLSI) 和软件系统正确性的正式方法。以这个目标创办期刊的动力来自学术界和工业界。在这两个领域，在过去几年中，对使用形式化方法的兴趣迅速增加。验证新设计所需的巨大成本和时间导致人们意识到必须开发更强大的技术。目前正在设计许多技术和工具来提高复杂硬件和软件系统的可靠性和鲁棒性。虽然硬件、固件或软件中的系统（子）组件之间的界限继续模糊，但相关的设计学科和形式化方法正在迅速成熟。因此，预计会出现一组重要（且有用）的普遍适用的形式方法，这将强烈影响未来的设计环境和设计方法。