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