Concepedia

Leyuan Liu

LL

Statistics

Publications

1

Citations

18

H-Index

1

Active since

2014

Affiliations

Dalian University of Technology(Current)

Leyuan Liu is an author at Dalian University of Technology specializing in formal verification, formal methods, and automated reasoning.

Top concepts

Publications per year

2014–2014

1

Publications

1

Facilitating Multicore Bounded Model Checking with Stateless Explicit-State Exploration

Weiqiang Kong, Leyuan Liu, Takahiro Ando et al. · The Computer Journal · 2014 · 18 citations

, , +14

1–1 of 1