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.

《Formal Methods In System Design》是一本由SPRINGER出版商出版的专业工程技术期刊，该刊创刊于1992年，刊期Bimonthly，该刊已被国际权威数据库SCIE收录。在中科院最新升级版分区表中，该刊分区信息为大类学科：工程技术 4区，小类学科：计算机：理论方法 4区；在JCR（Journal Citation Reports）分区等级为Q3。该刊发文范围涵盖计算机：理论方法等领域，旨在及时、准确、全面地报道国内外计算机：理论方法工作者在该领域取得的最新研究成果、工作进展及学术动态、技术革新等，促进学术交流，鼓励学术创新。2021年影响因子为1.1，平均审稿速度>12周，或约稿。