I’ve started working through the Verification series by EIT which have been challenging and interesting. If you’re interested in formal verification, check them out.