Formal Methods In System Design

雜志介紹

Formal Methods In System Design雜志介紹

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

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

• 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.