papers
Publications (6)
cs.LO2016
A Theorem Prover for Quantum Hoare Logic and Its Applications
Tao Liu, Yangjia Li, Shuling Wang +2
cs.LO2017
Compositional Hoare-style Reasoning about Hybrid CSP in the Duration Calculus
Dimitar Guelev, Shuling Wang, Naijun Zhan
cs.LO2017
Synthesizing SystemC Code from Delay Hybrid CSP
Gaogao Yan, Li Jiao, Shuling Wang +1
cs.LO2016
Approximate Bisimulation and Discretization of Hybrid CSP
Gaogao Yan, Li Jiao, Yangjia Li +2
physics.comp-ph2005
Shot Noise Suppression in Avalanche Photodiodes
Feng Ma, Shuling Wang, Joe C. Campbell
cs.SE2011
A Framework for Automated and Certified Refinement Steps
Andreas Griesmayer, Zhiming Liu, Charles Morisset +1