來源：學術之家整理 2025-03-18 15:38:12
《Formal Methods In System Design》中文名稱：《系統設計中的形式化方法》，創刊于1992年，由Springer US出版商出版，出版周期Bimonthly。
本期刊的重點是設計、實施和驗證硬件（VLSI）和軟件系統正確性的形式化方法。以此為目標創辦期刊的動機來自學術界和工業界。在這兩個領域，人們對使用形式化方法的興趣在過去幾年中迅速增加。驗證新設計所需的巨大成本和時間使人們意識到必須開發更強大的技術。目前正在設計許多技術和工具來提高復雜硬件和軟件系統的可靠性和穩健性。雖然系統中硬件、固件或軟件的（子）組件之間的界限繼續模糊，但相關的設計學科和形式化方法正在迅速成熟。因此，預計將出現一個重要（且有用）的常用形式化方法集合，這將對未來的設計環境和設計方法產生重大影響。
旨在及時、準確、全面地報道國內外COMPUTER SCIENCE, THEORY & METHODS工作者在該領域的科學研究等工作中取得的經驗、科研成果、技術革新、學術動態等。
| 機構名稱 | 發文量 |
| CENTRE NATIONAL DE LA R... | 11 |
| COMMUNAUTE UNIVERSITE G... | 6 |
| UNIVERSITY OF CALIFORNI... | 6 |
| INRIA | 5 |
| AUSTRIAN INSTITUTE OF T... | 3 |
| ETH ZURICH | 3 |
| IMDEA SOFTWARE INST | 3 |
| MICROSOFT | 3 |
| NEW YORK UNIVERSITY | 3 |
| SORBONNE UNIVERSITE | 3 |
| 國家/地區 | 發文量 |
| USA | 22 |
| France | 16 |
| GERMANY (FED REP GER) | 9 |
| England | 7 |
| Austria | 6 |
| Switzerland | 6 |
| Israel | 4 |
| Italy | 4 |
| Sweden | 4 |
| Canada | 3 |
| 文章引用名稱 | 引用次數 |
| Monitoring hyperproperties | 3 |
| TeLEx: learning signal tempo... | 3 |
| A survey of challenges for r... | 2 |
| Probabilistic black-box reac... | 1 |
| Incrementally closing octago... | 1 |
| An improved algorithm for th... | 1 |
| Conditions of contracts for ... | 1 |
| Solving parity games via pri... | 1 |
| Validating numerical semidef... | 1 |
| Efficient verification of ra... | 1 |
| 被引用期刊名稱 | 數量 |
| FORM METHOD SYST DES | 21 |
| INT J SOFTW TOOLS TE | 18 |
| IEEE ACCESS | 10 |
| ACM T EMBED COMPUT S | 9 |
| FORM ASP COMPUT | 8 |
| ACM COMPUT SURV | 7 |
| AUTOMATICA | 7 |
| FUND INFORM | 7 |
| IEEE T COMPUT AID D | 7 |
| J AUTOM REASONING | 6 |
| 引用期刊名稱 | 數量 |
| FORM METHOD SYST DES | 21 |
| J ACM | 13 |
| COMMUN ACM | 11 |
| THEOR COMPUT SCI | 11 |
| INT J SOFTW TOOLS TE | 7 |
| ACM T PROGR LANG SYS | 6 |
| INFORM COMPUT | 6 |
| SCI COMPUT PROGRAM | 6 |
| MATH PROGRAM | 5 |
| ACTA INFORM | 4 |
聲明：該作品系作者結合互聯網公開知識整合。如有錯漏請聯系我們，我們將及時更正。
