Formal model for verification of personalized educational trajectories based on ALLOY

• Date: 2026
• Main Authors: Poltoratskyi, M.Yu., Volianiuk, A.S.
• Format: Article
• Language: Ukrainian
• Published: PROBLEMS IN PROGRAMMING 2026
• Subjects: personalized learning; educational trajectory; verification; educational engineering; adaptability; skills; career goal; algorithm; model; course; UDC 004.942:37.018.43
• Online Access: https://pp.isofts.kiev.ua/index.php/ojs1/article/view/1029
• Journal Title: Problems in programming

The article addresses the problem of verification of personalized educational trajectories in modern educa tional engineering under the conditions of digitalization of the educational process. The necessity of verifying the correctness of learning pathways formed with regard to individual educationa...