Lee, Nian-Ze

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
2. Software Verification with CPAchecker 3.0: Tutorial and User Guide (Extended Version)
   2024/09/03 by Baier, Daniel, Beyer, Dirk, Chien, Po-Chun +8 · 1 citation
   #D.2.4 #D.3.1 #F.3.1 #F.4.3 #FOS: Computer and information sciences #Programming Languages (cs.PL) #Software Engineering (cs.SE)