News for hackers. Stuff that matters.

A comment on SeL4 is verified on RISC-V.

Re:SeL4 is verified on RISC-V by robert_g on Wednesday June 10, 2020 @06:57AM (#23475748)
seL4 hey used Haskell to create an model which was then their specification to help with the formal verification process [1][2].

[1] https://dl.acm.org/doi/pdf/10.1145/1159842.1159850

[2] https://www.sigops.org/s/conferences/sosp/2009/papers/klein-...

[ Parent | on HN ]
Re:SeL4 is verified on RISC-V by nix23 on Thursday June 11, 2020 @10:50AM (#23489512)
Sure...what else ;)
[ Parent | on HN ]