se provádí kvůli případnému odhalení
(
)
Formální kontrola (FK)
Nesplnění parametrů FK
3.0 Formální kontrola