Noem drie redenen waarom formele verificatie niet kan garanderen dat een systeem in de praktijk betrouwbaar is

    • De specificatie komt niet overeen met de werkelijke eisen van de gebruikers
    • Het bewijs bevat fouten
    • In het bewijs worden onjuiste aannames gedaan over de wijze waarop het systeem gebruikt wordt
    [15.1]

    Rapporteer Plaats commentaar
    0
Startpagina / Flashcards / noem-drie-redenen-waarom-formele-verificatie-niet-kan-garanderen-dat-een-systeem-in-de-praktijk-betrouwbaar-is