Technique of traces in solving the equivalence problem in algebraic program models

DOI10.1007/S10559-009-9139-8zbMath1185.68420OpenAlexW2078464192MaRDI QIDQ844347

R. I. Podlovchenko

Publication date: 19 January 2010

Published in: Cybernetics and Systems Analysis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10559-009-9139-8

zbMATH Keywords

equivalence checkingalgebraic model of a programtechnique of traces

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Theory of software (68N99)

Related Items (3)

On a class of algebraic models of programs of practical interest ⋮ On the polynomial complexity of the equivalence checking problem in algebraic models of programs ⋮ Program equivalence checking by two-tape automata

Cites Work

• Unnamed Item
• Unnamed Item
• A hierarchy of program models
• Semigroup program models
• A canonization algorithm for pairs of program schemes with commuting operators

This page was built for publication: Technique of traces in solving the equivalence problem in algebraic program models