系統(tǒng)設(shè)計(jì)中的正式方法報(bào)告了設(shè)計(jì)、實(shí)現(xiàn)和驗(yàn)證硬件（VLSI）和軟件系統(tǒng)正確性的最新正式方法。讀者會(huì)發(fā)現(xiàn)高質(zhì)量的原始論文描述了研究和發(fā)展的各個(gè)方面。該期刊的貢獻(xiàn)是為了開(kāi)發(fā)一個(gè)重要的、非常有用的、通常適用的正式方法集合，這些方法將對(duì)未來(lái)的設(shè)計(jì)環(huán)境和設(shè)計(jì)方法產(chǎn)生重大影響。

Formal Methods in System Design reports on the latest formal methods for designing, implementing, and validating the correctness of hardware (VLSI) and software systems. Readers will find high quality, original papers describing all aspects of research and development. Contributions to the journal serve its goal of developing an important and highly useful collection of commonly applicable formal methods that will strongly influence future design environments and design methods.