(
)
Zhojitelné nesplnění
Nesplnění parametrů FK
3.0 Formální kontrola