Applying the predicate logic for cyber security artifacts verification in design of the critical purpose systems - A. V. Davydiuk; Yu. Zubok (Data recording, storage & processing, 2021)