Login / Signup
Huijia Huang
Publication Activity (10 Years)
Years Active: 2015-2015
Publications (10 Years): 0
Top Topics
Finite State
Automated Verification
Model Checking
Temporal Logic
Top Venues
IEEE Trans. Very Large Scale Integr. Syst.
</>
Publications
</>
Lijun Wu
,
Huijia Huang
,
Kaile Su
,
Shaowei Cai
,
Xiaosong Zhang
An I/O Efficient Model Checking Algorithm for Large-Scale Systems.
IEEE Trans. Very Large Scale Integr. Syst.
23 (5) (2015)