Ordliste
Formell verifisering
En matematisk metode for å bevise at et program eller system oppfyller bestemte spesifikasjoner, og for å avdekke feil eller sårbarheter.
Notiser som nevner dette begrepet
Nyhetsbrev
Få nyhetsbrevet i innboksen
Hvert nyhetsbrev samler ukens viktigste AI-nyheter — korte, kildebelagte saker skrevet for norske lesere. Du får en e-post med nytt nyhetsbrev, gratis. Vil du heller lytte? Nyhetsbrevet finnes også som podkast. Du kan melde deg av når som helst.