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.

ESBMC-CHERI: towards verification of C programs for CHERI platforms with ESBMC

Franz Brauße, Fedor Shmarov, Rafael Menezes, Mikhail R. Gadelha, Konstantin Korovin, Giles Reger, Lucas C. Cordeiro. ESBMC-CHERI: towards verification of C programs for CHERI platforms with ESBMC. In Sukyoung Ryu, Yannis Smaragdakis, editors, ISSTA '22: 31st ACM SIGSOFT International Symposium on Software Testing and Analysis, Virtual Event, South Korea, July 18 - 22, 2022. pages 773-776, ACM, 2022. [doi]

Authors

Franz Brauße

This author has not been identified. Look up 'Franz Brauße' in Google

Fedor Shmarov

This author has not been identified. Look up 'Fedor Shmarov' in Google

Rafael Menezes

This author has not been identified. Look up 'Rafael Menezes' in Google

Mikhail R. Gadelha

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

Konstantin Korovin

This author has not been identified. Look up 'Konstantin Korovin' in Google

Giles Reger

This author has not been identified. Look up 'Giles Reger' in Google

Lucas C. Cordeiro

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