title: 'seL4'
url: https://sel4.systems/
description: >
    Microkernel verificato formalmente.
tags:
    - security
    - microkernel
    - verifica formale
added: 2020-10-22T21:07:15+02:00
updated: 2020-10-22T21:07:15+02:00