Bohua Zhan

Homepages 🌐

http://lcs.ios.ac.cn/~bzhan/

Entries

2019

Quantum Hoare Logic

by Junyi Liu, Bohua Zhan 🌐, Shuling Wang, Shenggang Ying, Tao Liu, Yangjia Li, Mingsheng Ying and Naijun Zhan

Mar 24

2018

Verifying Imperative Programs using Auto2

by Bohua Zhan 🌐

Dec 21

Auto2 Prover

by Bohua Zhan 🌐

Nov 20

Smooth Manifolds

by Fabian Immler 🌐 and Bohua Zhan 🌐

Oct 22