Verificatiemotor

De SDV-verificatie-engine is een krachtige proof-engine waarmee de regelverificatie voor SDV wordt uitgevoerd.

De verificatie-engine heeft de volgende invoer:

• Stuurprogrammacode

• Verifierregel voor statisch stuurprogramma

• Static Driver Verifier besturingssysteemmodel