[POCL'24] ESBMC-CHERI: Towards Verification of C/C++ Programs for CHERI Platforms with ESB... | ACM SIGPLAN | Podwise