Noem vijf technieken voor statische analyse. Welke daarvan worden specifiek bij kritieke systemen toegepast?

    • Peer reviews en inspecties
    • Het gebruik van tools voor modellering
    • Formele verificatie
    • Model checking
    • Automatische statische analyse
    De laatste drie worden specifiek bij kritieke systemen toegepast.
    [15.1]

    Rapporteer Plaats commentaar
    0
Startpagina / Flashcards / noem-vijf-technieken-voor-statische-analyse-welke-daarvan-worden-specifiek-bij-kritieke-systemen-toegepast