Journal Title：Formal Methods In System Design

The focus of this journal is on formal methods for designing, implementing, and validating the correctness of hardware (VLSI) and software systems. The stimulus for starting a journal with this goal came from both academia and industry. In both areas, interest in the use of formal methods has increased rapidly during the past few years. The enormous cost and time required to validate new designs has led to the realization that more powerful techniques must be developed. A number of techniques and tools are currently being devised for improving the reliability, and robustness of complex hardware and software systems. While the boundary between the (sub)components of a system that are cast in hardware, firmware, or software continues to blur, the relevant design disciplines and formal methods are maturing rapidly. Consequently, an important (and useful) collection of commonly applicable formal methods are expected to emerge that will strongly influence future design environments and design methods.

本期刊的重點(diǎn)是設(shè)計(jì)、實(shí)施和驗(yàn)證硬件（VLSI）和軟件系統(tǒng)正確性的形式化方法。以此為目標(biāo)創(chuàng)辦期刊的動機(jī)來自學(xué)術(shù)界和工業(yè)界。在這兩個領(lǐng)域，人們對使用形式化方法的興趣在過去幾年中迅速增加。驗(yàn)證新設(shè)計(jì)所需的巨大成本和時(shí)間使人們意識到必須開發(fā)更強(qiáng)大的技術(shù)。目前正在設(shè)計(jì)許多技術(shù)和工具來提高復(fù)雜硬件和軟件系統(tǒng)的可靠性和穩(wěn)健性。雖然系統(tǒng)中硬件、固件或軟件的（子）組件之間的界限繼續(xù)模糊，但相關(guān)的設(shè)計(jì)學(xué)科和形式化方法正在迅速成熟。因此，預(yù)計(jì)將出現(xiàn)一個重要（且有用）的常用形式化方法集合，這將對未來的設(shè)計(jì)環(huán)境和設(shè)計(jì)方法產(chǎn)生重大影響。

Formal Methods In System Design創(chuàng)刊于1992年，由Springer US出版商出版，收稿方向涵蓋工程技術(shù) - 計(jì)算機(jī)：理論方法全領(lǐng)域，此期刊水平偏中等偏靠后，在所屬細(xì)分領(lǐng)域中專業(yè)影響力一般，過審相對較易，如果您文章質(zhì)量佳，選擇此期刊，發(fā)表機(jī)率較高。平均審稿速度 12周，或約稿 ，影響因子指數(shù)0.7，該期刊近期沒有被列入國際期刊預(yù)警名單，廣大學(xué)者值得一試。