• 充值
  • 会员
  • 职称材料
搜期刊
刊名

文献信息

  • 任意字段
  • 主题词
  • 篇关摘
  • 篇名
  • 关键词
  • 摘要
  • 作者
  • 第一作者
  • 作者单位
  • 刊名
  • 中图分类号
  • 学科分类号
  • DOI
  • 基金
文献检索

美国
投稿预审
Formal Methods in System Design 中科院4区 JCR:Q4 SCIE EI PubMed JST
发文量 863
被引量 20,893
影响因子(2025版) 0.102

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.

  • 主办单位： SPRINGER
  • 出版地区： DORDRECHT
  • 出版周期： 双月刊
  • 别名： FORM METHOD SYST DES;Form. Methods Syst. Des.;系统设计中的形式化方法;FORMAL METHODS IN SYSTEM DESIGN
  • 国际标准连续出版物号/电子版： ISSN 0925-9856 / EISSN 1572-8102
  • 创刊时间： 1992年
热门主题：

时态逻辑状态空间爆炸线性时序逻辑静态检测形式化技术PETRI网模型模型校核专刊专版运行时验证原理验证形式规格说明符号模型检验定时自动机BDD算法可达分析软件审核状态矢量空间汽车检测线分布式系统形式化校验计算机辅助验证

收录汇总 栏目浏览 期刊详情
收录汇总
出版文献
期刊详情
新发布(2025版)
分析评价
  • 1
  • 2
  • 3
  • 4
  • 7
目录
封面
2026年3期

2026年3期

客服咨询
投稿相关：023-63416211
撤稿相关：023-63012682
查重相关：023-63506028
重庆维普资讯有限公司 渝B2-20050021-1 渝公网备 50019002500403
违法和不良信息举报中心   举报邮箱：jubao@cqvip.com   互联网算法推荐专项举报：sfjubao@cqvip.com    网络暴力专项举报: bljubao@cqvip.com
网络出版：（署）网出证（渝）字第014号    出版物经营许可证：新出发2018批字第006号