Previous Issues
Year 2023, volume 2, Issue 1

Review and Commentary

Formal Verification of Circuit Design

Bohua ZHAN, Zhilin WU

2023 Vol. 2(1): 23-32.

doi: 10.3981/j.issn.2097-0781.2023.01.002

Reading ( 869 ) PDF ( 1164 )

Review and Commentary

Formal Methods and System Software: Practice and Suggestions

Haoran DING, Zhaoguo WANG, Ming FU, Haibo CHEN

2023 Vol. 2(1): 33-45.

doi: 10.3981/j.issn.2097-0781.2023.01.003

Reading ( 1109 ) PDF ( 1069 )

Review and Commentary

Development of Domain-specific Languages: Status and Prospects

Yiyuan CAO, Zhichao GUAN, Yushuo XIAO, Haiyan ZHAO, Zhenjiang HU

2023 Vol. 2(1): 46-61.

doi: 10.3981/j.issn.2097-0781.2023.01.004

Reading ( 798 ) PDF ( 972 )

Review and Commentary

Advances and Prospects of Training Methods for Robust Neural Networks

Zhen LIANG, Wanwei LIU, Taoran WU, Dejin REN, Bai XUE

2023 Vol. 2(1): 78-89.

doi: 10.3981/j.issn.2097-0781.2023.01.006

Reading ( 838 ) PDF ( 1052 )

Review and Commentary

Research Progress and Trend of Formal Methods for Train Control System

Jidong LÜ, Wanli LU, Tao TANG, Zhengwei LUO

2023 Vol. 2(1): 106-117.

doi: 10.3981/j.issn.2097-0781.2023.01.008

Reading ( 1093 ) PDF ( 919 )

Review and Commentary

Human-centered Sensing and Computing: Research Progress and Prospects

Zhiwen YU, Qingyang LI, Qianru WANG, Bin GUO

2023 Vol. 2(1): 118-131.

doi: 10.3981/j.issn.2097-0781.2023.01.009

Reading ( 558 ) PDF ( 872 )

Review and Commentary

Fund Applications and Fundings in Formal Methods Under National Natural Science Foundation of China

Ting CHEN, Guozheng WU, Zhe LIU, Geguang PU, Ruizhen ZHAO, Ke LIU

2023 Vol. 2(1): 132-140.

doi: 10.3981/j.issn.2097-0781.2023.01.010

Reading ( 949 ) PDF ( 1027 )