Doctoral Degree

大连理工大学

Recommended MA Supervisor

Personal Information

Gender:Male
Business Address:综合楼423
E-Mail:

VIEW MORE
Home > Scientific Research > Paper Publications

Garakabu2: an SMT-based bounded model checker for HSTM designs in ZIPC

Release Time:2022-10-04 Hits:

Date of Publication: 2022-10-02
Journal: Journal of Information Security and Applications
Institution: 软件学院
Volume: 31
Issue: ,SI
Page Number: 61-74
ISSN: 2214-2126

Prev One:From Local to Global Semantic Clone Detection

Next One:FTEI: A Fault Tolerance Model of FPGA with Endogenous Immunity

Address: No.2 Linggong Road, Ganjingzi District, Dalian City, Liaoning Province, P.R.C., 116024

Click:  | The Last Update Time:..  | Open Time:..  | DALIAN UNIVERSITY OF TECHNOLOGY | Login