External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Verification and refutation of C programs based on k-induction and invariant inference

Omar M. Alhawi, Herbert Rocha, Mikhail R. Gadelha, Lucas C. Cordeiro, Eddie Batista de Lima Filho. Verification and refutation of C programs based on k-induction and invariant inference. STTT, 23(2):115-135, 2021. [doi]

Authors

Omar M. Alhawi

This author has not been identified. Look up 'Omar M. Alhawi' in Google

Herbert Rocha

This author has not been identified. Look up 'Herbert Rocha' in Google

Mikhail R. Gadelha

This author has not been identified. Look up 'Mikhail R. Gadelha' in Google

Lucas C. Cordeiro

This author has not been identified. Look up 'Lucas C. Cordeiro' in Google

Eddie Batista de Lima Filho

This author has not been identified. Look up 'Eddie Batista de Lima Filho' in Google
runs on