5 ms·
> The full verification of seL4 came a lot earlier (by about a decade) than I thought possible. Is it a full verification yet? I am by no means an expert, but
by DashRattlesnake 10y ago
> The full verification of seL4 came a lot earlier (by about a decade) than I thought possible.
Is it a full verification yet? I am by no means an expert, but IIRC, they were still using a simplified model MMU in their proofs.
- cmrx64 10y agoIt's a simplified model, but it's well validated. Without connecting the proofs to a formally verified chip, it's about the best you can do.