Verification and refutation of C programs based on k-induction and invariant inference
Crossref DOI link: https://doi.org/10.1007/s10009-020-00564-1
Published Online: 2020-05-18
Published Print: 2021-04
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Alhawi, Omar M.
Rocha, Herbert
Gadelha, Mikhail R.
Cordeiro, Lucas C.
Batista, Eddie
Funding for this research was provided by:
University of Manchester
Text and Data Mining valid from 2020-05-18
Version of Record valid from 2020-05-18
Article History
First Online: 18 May 2020