Zhilei Han

Zhilei Han

PhD student @ Tsinghua University. Working on formal verification.

Deadlock Verification via Ordering-Constrained Mutex Modeling

Published in 38th International Conference on Computer Aided Verification (CAV 26), 2026