Rocha, Williame ; Rocha, Herbert ; Ismail, Hussama..
Rocha , W , Rocha , H , Ismail , H , Cordeiro , L & Fischer , B 2017 , DepthK: A k-Induction Verifier Based on Invariant Inference for C Programs . in Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2017, PT II . vol. 10206 , Lecture Notes in Computer Science , pp. 360-364 . https://doi.org/10.1007/978-3-662-54580-5_23 , https://doi.org/10.1007/978-3-662-54580-5_23.  , 2017