items/0cd25005fdff4bba8490c2f099a2eb6c.yaml


1
2
3
4
5
6
7
8
9
10

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