De seL4 microkernel is wiskundig geverifieerd voor de RISC-V architectuur
De RISC-V Foundation heeft aangekondigd dat de werking van de seL4 microkernel is geverifieerd op systemen met de RISC-V instructieset architectuur. De verificatie is een wiskundig bewijs van de betrouwbaarheid van seL4, dat aantoont dat het volledig voldoet aan de specificaties vastgesteld in formele taal. Dit bewijs van betrouwbaarheid maakt het mogelijk om seL4 te gebruiken in kritieke systemen op basis van RISC-V RV64-processoren, die een verhoogd niveau van betrouwbaarheid vereisen en de afwezigheid van […] garanderen.
