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

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

Browse the full ISSTA paper archive.