Lihao Liang

Formal co-validation of low-level hardware/software interfaces

Alex Horn, Michael Tautschnig, Celina G. Val et al. · 2013 · 37 citations

Computing, Computer Engineering, Computer Science +17

Effective verification of low-level software with nested interrupts

Daniel Kroening, Lihao Liang, Tom Melham et al. · Figshare · 2015 · 13 citations · Full text

Computing, Computer Engineering, Computer Science +14

Effective Verification for Low-Level Software with Competing Interrupts

Lihao Liang, Tom Melham, Daniel Kroening et al. · ACM Transactions on Embedded Computing Systems · 2017 · 12 citations · Full text

Computing, Computer Science, Computer Systems +16