Zheng Yang

Publication Activity (10 Years)

Years Active: 2018-2023
Publications (10 Years): 12

Top Topics

Automated Deduction

Theorem Proving

Formal Verification

Bounded Model Checking

Top Venues

Comput. Syst. Sci. Eng.

Publications

Liangjun Deng, Hang Lei, Zheng Yang, Weizhong Qian, Xiaoyu Li, Hao Wu, Sihao Deng, Ruchao Sha, Weidong Deng
Formal Verification Platform as a Service: WebAssembly Vulnerability Detection Application. Comput. Syst. Sci. Eng. 45 (2) (2023)
Zheng Yang, Hang Lei, Weizhong Qian, Zehui Yan, Weiru Zeng
A Resolution for Scalability Problem of Record Datatype Based Formal Memory Models in Coq. CSAE (2020)
Zheng Yang, Hang Lei, Weizhong Qian
A Hybrid Formal Verification System in Coq for Ensuring the Reliability and Security of Ethereum-Based Service Smart Contracts. IEEE Access 8 (2020)
Zheng Yang, Hang Lei
FEther: An Extensible Definitional Interpreter for Smart-Contract Verifications in Coq. IEEE Access 7 (2019)
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)
Zheng Yang, Hang Lei
Optimization of Executable Formal Interpreters Developed in Higher-Order Logic Theorem Proving Systems. IEEE Access 6 (2018)
Zheng Yang, Hang Lei
Optimization of Executable Formal Interpreters developed in Higher-order Theorem Proving Systems. CoRR (2018)
Haiyong Sun, Hang Lei, Lei Qiao, Zheng Yang
Formal Verification of GP Specification based Embedded Operating System. CSAE (2018)
Zheng Yang, Hang Lei
FEther: An Extensible Definitional Interpreter for Smart-contract Verifications in Coq. CoRR (2018)
Zheng Yang, Hang Lei
Formal Process Virtual Machine for Smart Contracts Verification. CoRR (2018)
Zheng Yang, Hang Lei
A general formal memory framework in Coq for verifying the properties of programs based on higher-order logic theorem proving with increased automation, consistency, and reusability. CoRR (2018)
Zheng Yang, Hang Lei
Lolisa: Formal Syntax and Semantics for a Subset of the Solidity Programming Language. CoRR (2018)