e刊通

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