Aparat weryfikacji

Silnik weryfikacji SDV to potężny mechanizm dowodowy, który przeprowadza weryfikację reguł dla systemu SDV.

Aparat weryfikacji przyjmuje następujące dane wejściowe:

• Kod sterownika

• Reguła statycznego weryfikatora sterowników

• Statyczny Weryfikator Sterowników model systemu operacyjnego