雜志介紹

Formal Methods In System Design雜志介紹

《Formal Methods In System Design》是一本(ben)(ben)以English為(wei)主的(de)(de)(de)(de)(de)未開放獲取國(guo)際優秀期刊(kan)，中(zhong)文名稱系統設計中(zhong)的(de)(de)(de)(de)(de)形式化方法，本(ben)(ben)刊(kan)主要(yao)出版、報道計算機科學(xue)-COMPUTER SCIENCE, THEORY & METHODS領(ling)域(yu)的(de)(de)(de)(de)(de)研究(jiu)動態(tai)以及在該(gai)(gai)領(ling)域(yu)取得的(de)(de)(de)(de)(de)各方面的(de)(de)(de)(de)(de)經驗和(he)科研成(cheng)果，介紹該(gai)(gai)領(ling)域(yu)有關本(ben)(ben)專(zhuan)業的(de)(de)(de)(de)(de)最新進展(zhan)，探討行業發展(zhan)的(de)(de)(de)(de)(de)思路和(he)方法，以促進學(xue)術(shu)信息交流，提高行業發展(zhan)。該(gai)(gai)刊(kan)已被國(guo)際權威數據庫SCIE收錄，為(wei)該(gai)(gai)領(ling)域(yu)相(xiang)關學(xue)科的(de)(de)(de)(de)(de)發展(zhan)起(qi)到了良好的(de)(de)(de)(de)(de)推動作用，也得到了本(ben)(ben)專(zhuan)業人員的(de)(de)(de)(de)(de)廣泛認可。該(gai)(gai)刊(kan)最新影響(xiang)因子為(wei)0.7，最新CiteScore 指數為(wei)2。

本刊近期中國學(xue)者(zhe)發表的論文主要有：

• SAT-based explicit LTL reasoning and its application to satisfiability checking

  Author: Jianwen Li, Shufang Zhu, Geguang Pu, Lijun Zhang, Moshe Y. Vardi

• A modal characterization of alternating approximate bisimilarity

  Author: Jinjin Zhang, Zhaohui Zhu

• SAT–LP–IIS joint-directed path-oriented bounded reachability analysis of linear hybrid automata

  Author: Dingbao Xie, Lei Bu, Jianhua Zhao, Xuandong Li

英文介紹

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.