Alhawi, O. M., et al.. Verification and Refutation of C Programs Based on K-induction and Invariant Inference. Springer Science and Business Media LLC, May 2020, doi:10.1007/s10009-020-00564-1.