Concepedia

Hengbiao Yu

HY

4

Publications

58

Citations

4

H-Index

2018

Active since

Affiliations

National University of Defense Technology(Current)

Hengbiao Yu is an author at National University of Defense Technology specializing in automated reasoning, formal methods, and formal verification.

Top concepts

EngineeringVerificationFormal MethodsComputer ScienceProgram AnalysisSoftware TestingSoftware AnalysisAutomated ReasoningFormal VerificationSystem Software

Publications per year

2018–2020

4

Publications

4

Symbolic verification of message passing interface programs

Hengbiao Yu, Zhenbang Chen, Xianjin Fu et al. · 2020 · 20 citations

Program Checking, Engineering, Verification +20

Symbolic verification of regular properties

Hengbiao Yu, Zhenbang Chen, Ji Wang et al. · 2018 · 14 citations

Program Checking, Engineering, Verification +22

Combining symbolic execution and model checking to verify MPI programs

Hengbiao Yu · 2018 · 14 citations

Program Checking, Engineering, Verification +21

Evaluation of model checkers by verifying message passing programs

Weijiang Hong, Zhenbang Chen, Hengbiao Yu et al. · Science China Information Sciences · 2019 · 10 citations

Program Checking, Engineering, Automated Reasoning +10

Rows per page

1–4 of 4