In this project we extend the HolBA with multicore semantics based on Promising RISC-V by Pulte et al.