Inclusion problem in algebraic models of programs with constants

DOI10.1134/S0361768807030012zbMath1147.68449MaRDI QIDQ926618

R. I. Podlovchenko, Dmitry Rusakov

Publication date: 20 May 2008

Published in: Programming and Computer Software (Search for Journal in Brave)

zbMATH Keywords

diagrams

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items

Scheme inclusion verification algorithm in algebraic model of programs with constants

Cites Work

• Automaton semigroup models of programs
• Program schemes with constants
• Implementation and Application of Automata