https://sel5summit2025.sched.com/event/26GDs/a-program-logic-for-sel4-based-system-verification