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

Open Webpage

Franz Brauße, Fedor Shmarov, Rafael Menezes, Mikhail R. Gadelha, Konstantin Korovin, Giles Reger, Lucas C. Cordeiro

Published: 2022, Last Modified: 21 Jan 2026ISSTA 2022EveryoneRevisionsBibTeXCC BY-SA 4.0