End-to-end formal verification of a RISC-V processor extended with capability pointers (TU Wien Academic Press/IEEE, 2021)

(untitled) - Gao, D; Melham, T