Specification Based Program Construction and Verification in Composition-Nominative Language CNLS

• Published in: PROBLEMS IN PROGRAMMING
• Date: 2026
• Issue: 2-3
• Pages: 340-348
• ISSN: 1727-4907
• Author Affiliations: M.A. Bezverha — National Aviation University; P.P. Protsyk — National Aviation University
• Keywords: формальна верифікація, спеціальні програмні засоби, програмні інстру- менти, мови програмування, програмна процедура, програма перевірки, верифікація, сертифікація програмних систем, програмна реалізація, автоматизація програмування
• Main Authors: Bezverha, M.A., Protsyk, P.P.
• Format: Article
• Language: Ukrainian
• Published: PROBLEMS IN PROGRAMMING 2026
• Subjects: UDC 681.3.06
• Online Access: https://pp.isofts.kiev.ua/index.php/ojs1/article/view/920
• Journal Title: Problems in programming

This work continues the series of previous studies whose primary purpose was creating efficient languages, approaches and software tools for development of quality software systems using formal methods. On the basis of developed specification and programming languages we present new practical approa...