FORMAL METHODS IN SYSTEM DESIGN

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