vix.ing · top · new · best · stats · spec

Nian-Ze Lee

  1. Interpolation and SAT-Based Model Checking Revisited: Adoption to Software Verification
    2022/08/09 by Dirk Beyer, Beyer, Dirk, Nian-Ze Lee +3 · 1 citation
    Computer Science · #Software Reliability and Analysis Research #Formal Methods in Verification #Software Testing and Debugging Techniques