As part of the Scale4Edge research project I am currently working on the verification of embedded systems based on the open standard instruction set architecture RISC-V. The focus of my work lies especially on property checking and program analysis through symbolic execution techniques.