La API seL4 es representada por una especificación ejecutable escrita en Haskell.