Formal Methods In System Design

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.

本期刊的重點是設計、實施和驗證硬件（VLSI）和軟件系統正確性的形式化方法。以此為目標創辦期刊的動機來自學術界和工業界。在這兩個領域，人們對使用形式化方法的興趣在過去幾年中迅速增加。驗證新設計所需的巨大成本和時間使人們意識到必須開發更強大的技術。目前正在設計許多技術和工具來提高復雜硬件和軟件系統的可靠性和穩健性。雖然系統中硬件、固件或軟件的（子）組件之間的界限繼續模糊，但相關的設計學科和形式化方法正在迅速成熟。因此，預計將出現一個重要（且有用）的常用形式化方法集合，這將對未來的設計環境和設計方法產生重大影響。

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