Weizong Qian

Publication Activity (10 Years)

Years Active: 2019-2019
Publications (10 Years): 1

Top Topics

Formal Verification

Service Offerings

Top Venues

Publications

Zheng Yang, Hang Lei, Weizong Qian
A Hybrid Formal Verification System in Coq for Ensuring the Reliability and Security of Ethereum-based Service Smart Contracts. CoRR (2019)