Mikrojezgro seL4 matematički je verifikovano za RISC-V arhitekturu
Organizacija RISC-V Foundation je objavila verifikaciju rada mikrojezgra seL4 na sistemima sa RISC-V arhitekturom. Verifikacija se svodi na matematičko dokazivanje pouzdanosti rada seL4, što potvrđuje potpuno usklađivanje sa zadatim specifikacijama na formalnom jeziku. Dokazivanje pouzdanosti omogućava korišćenje seL4 u kritično važnim sistemima baziranim na RISC-V RV64 procesorima, koji zahtevaju povišeni nivo pouzdanosti i garantuju odsustvo […]
