Handling loops in bounded model checking of C programs via k-induction
Crossref DOI link: https://doi.org/10.1007/s10009-015-0407-9
Published Online: 2015-11-23
Published Print: 2017-02
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Gadelha, Mikhail Y. R.
Ismail, Hussama I.
Cordeiro, Lucas C.
Text and Data Mining valid from 2015-11-23