Qinheping Hu
- Kani: A Model Checker for Rust
2026/07/01 by Rémi Delmas, Zyad Hassan, Qinheping Hu +9 · 11 voices
#cs.SE #cs.LO #cs.PL
- Proving Unrealizability for Syntax-Guided Synthesis
2019/05/14 by Qinheping Hu, Jason Breck, Hu, Qinheping +7 · 3 citations
Computer Science · #FOS: Computer and information sciences #Formal Methods in Verification #Programming Languages (cs.PL) #Software Engineering Research #Software Testing and Debugging Techniques