Generation of multipurpose formal models from legacy code за авторством Potiyenko, S.V., Kolchin, A.V.

Отримати повний текст

Correctness Property Proof for the Banking System for Money Transfer Payments за авторством Ostapovska, Yu.A., Panchenko, T.V., Polishchuk, N.V., Kartavov, M.O.

Отримати повний текст

Equivalence of two parallel execution systems за авторством Panchenko, T.V., Fabunmi, S.

Отримати повний текст

The definition of formal languages in the meta language of normal forms of knowledge за авторством Kurgaev, A.F., Grygoryev, S.M.

Отримати повний текст

Development of the information system for semantic identification and documentation of the results of non-formal and informal education за авторством Pryima, S.M., Strokan', О.V., Lubko, D.V., Lytvyn, Yu.O., Bilyk, N.І.

Отримати повний текст

The translator of Petri-object model visual programming language за авторством Dyfuchyn, А.Yu.

Отримати повний текст

Methods and tools for developing an information system for validation of non-formal learning outcomes за авторством Pryima, S.M., Strokan', О.V., Rogushina, J.V., Gladun, A.Y., Mozhovenko, A.A.

Отримати повний текст

Methods and software for significant indicators determination of the natural language texts author profile за авторством Shynkarenko, V.I., Demydovych, I.M.

Отримати повний текст

Integration of large language models with semantic processing tools as an instrument for knowledge digitization за авторством Sinitsyn, I.P., Rogushina, J.V., Yurchenko, K.Yu.

Отримати повний текст

Peterson’s algorithm Total correctness proof in IPCL за авторством Zhygallo, A.A.

Отримати повний текст

Formal verification of deep neural networks за авторством Panchuk, B.O.

Отримати повний текст