If you're interested in verification you should probably talk to people who actually work on verification, for example, literally anyone from our research community: https://www.floc2022.org/
They also explain the area of overlap with formal verification in their white paper.