FORMAL METHODS IN SYSTEM DESIGN是中科院4区。
该刊创刊于1981年，年发文量在30篇，依据往期投稿者经验反馈，该刊的审稿速度是>12周，或约稿。
系统设计中的正式方法报告了设计、实现和验证硬件（VLSI）和软件系统正确性的最新正式方法。读者会发现高质量的原始论文描述了研究和发展的各个方面。该期刊的贡献是为了开发一个重要的、非常有用的、通常适用的正式方法集合，这些方法将对未来的设计环境和设计方法产生重大影响。
FORMAL METHODS IN SYSTEM DESIGN中科院分区基础版：
| 大类学科 | 分区 | 小类学科 | 分区 | Top期刊 | 综述期刊 |
| 工程技术 | 4区 | COMPUTER SCIENCE, THEORY & METHODS 计算机：理论方法 | 4区 | 否 | 否 |
FORMAL METHODS IN SYSTEM DESIGN中科院分区升级版：
| 大类学科 | 分区 | 小类学科 | 分区 | Top期刊 | 综述期刊 |
| 计算机科学 | 3区 | COMPUTER SCIENCE, THEORY & METHODS 计算机：理论方法 | 3区 | 否 | 否 |
拓展阅读：
问题一：什么是中科院分区?
由于不同学科之间的SCI期刊很难进行比较和评价，中国科学院国家科学图书馆世界科学前沿分析中心(原中国科学院文献情报中心)，对目前SCI核心库加上扩展库期刊的影响力等因素，以年度和学科为单位，对SCI期刊进行4个等级的划分。一般而言，发表在1区和2区的SCI论文，通常被认为是该学科领域的比较重要的成果。期刊分区表自2004年发布，延续至今;2019年推出升级版，实现基础版、升级版并存过渡，2022年只发布升级版。2004年至2023年《期刊分区表》数据每年底发布，从2025年开始改为年初发布。
问题二：什么是中科院分区基础版
将JCR中所有期刊分为数学、物理、化学、生物、地学、天文、工程技术、医学、环境科学、农林科学、社会科学、管理科学及综合性期刊13 大类。每个学科分类按照期刊的3年平均影响因子高低，分为4四个区，呈金字塔状分布：前5%为一区，6%~20%为二区，21%~50%为三区，后50%为四区。
问题三：中科院分区升级版
2022年开始，中科院开始只发布分区表升级版，升级版作了两方面升级：
(1)评价指标上，采用“期刊超越指数”替代传统的影响因子，突破均值指标的瓶颈，更客观、更全面地反映期刊整体水平，解决了学科差异、文献类型差异、偏态分布等问题。
“期刊超越指数”的计算方法：从期刊A选择的任一论文，其引用数大于从其它期刊选择的一篇相同主题、相同文献类型论文的引用数的概率。
(2)学科分类上，采用“Paper-level 归一化分类体系”，把每篇论文都划分到一个主题，和传统情况下的期刊属于什么学科，论文就属于什么学科的分类有很大差别。
问题四：我们选刊的时候该刊哪个分区?
其实两种分区方式都比较权威，主要取决于您的单位更认可哪种。