invariant 13A50 2 16R30 2 17B01 2 Lie algebra 2 generic 2 інваріант 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