Anvesh Komuravelli
- SMT-based Model Checking for Recursive Programs
2014/05/15 by Anvesh Komuravelli, Arie Gurfinkel, Komuravelli, Anvesh +3 · 6 citations
Computer Science · #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Software Reliability and Analysis Research #Software Testing and Debugging Techniques