Zhang-Xiyue

2022.07 Ph.D. from Peking University 2017.07 B.S. from Peking University

China

Pinned Repositories

reo-z3
Language:TeX0 2 01
Cloud-Service
Z3py for service
Language:Python0 0 00
coordination20
property verification and testing examples presented in coordination20 paper
Language:OCaml2 3 00
EVM-Why3
EVM in Why3 from a state transition perspective
Language:TeX4 2 00
PreimageApproxForNNs
Language:Python10
Prob-Reo
Probabilistic Reo Extension
Language:Coq1 1 00
reo-z3
Language:TeX0 0 00
Zhang-Xiyue.github.io
Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes
Language:JavaScript00

Zhang-Xiyue's Repositories

Zhang-Xiyue/EVM-Why3
EVM in Why3 from a state transition perspective
Language:TeX4 2 00
Zhang-Xiyue/coordination20
property verification and testing examples presented in coordination20 paper
Language:OCaml2 3 00
Zhang-Xiyue/PreimageApproxForNNs
Language:Python10
Zhang-Xiyue/Prob-Reo
Probabilistic Reo Extension
Language:Coq1 1 00
Zhang-Xiyue/Cloud-Service
Z3py for service
Language:Python0 0 00
Zhang-Xiyue/reo-z3
Language:TeX0 0 00
Zhang-Xiyue/Zhang-Xiyue.github.io
Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes
Language:JavaScript00