The efficient SMT-based context-bounded model checker (ESBMC)
esbmc
FreeBSD adapted for CHERI-RISC-V and Arm Morello.
CTSRD-CHERI
MDX — A BSD-style RTOS
mdepx
esbmc
