First steps in verifying the seL4 Core Platform. - Mathieu Paturel; Isitha Subasinghe; Gernot Heiser (APSys, 2023)