Документация Engee

Model Verification

Assertion

Проверка на нулевое значение сигнала.