Baidu
map

Quantum symbolic execution

Nan, J; Zichen, W; Jian, W

Jian, W (通讯作者),Beijing Jiaotong Univ, Sch Comp & Informat Technol, Beijing 100044, Peoples R China.;Jian, W (通讯作者),Beijing Jiaotong Univ, Beijing Key Lab Secur & Privacy Intelligent Transp, Beijing 100044, Peoples R China.

QUANTUM INFORMATION PROCESSING, 2023; 22 (10):

Abstract

With advances in quantum computing, researchers can now write and run many quantum programs. However, there is still a lack of effective methods for d......

Full Text Link


Baidu
map
Baidu
map
Baidu
map