invariant 2 інваріант IPCL 1 Narayana polynomials 1 Poincaré series 1 UDC 004.415.52 1 UDC 512.647 1 algebra of invariants 1 binary form 1 classical invariant theory 1 composition-nominative languages 1 concurrent program 1 covariant 1 formal verification 1 interleaving 1 safety property proof 1 software correctness 1 УДК 004.415.52 1 УДК 512.647 1 алгебра інваріантів 1 бінарна форма 1 доведення часткової коректності 1 доказательство частичной корректности 1 инвариант 1 класична теорія інваріантів 1 коваріант 1 композиционно-номинативные языки 1 композиційно-номінативні мови 1 коректність програмного забезпечення 1 корректность программного обеспечения 1