Efficient algorithms for checking the equivalence of programs in interrupt handling models

DOI10.3103/S0278641908020064zbMath1151.68054OpenAlexW2063704156MaRDI QIDQ949234

V. L. Shcherbina, Vladimir A. Zakharov

Publication date: 21 October 2008

Published in: Moscow University Computational Mathematics and Cybernetics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.3103/s0278641908020064

zbMATH Keywords

algebraic models

Mathematics Subject Classification ID

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

Related Items

Program equivalence checking by two-tape automata

Cites Work

• A hierarchy of program models
• Unnamed Item
• Unnamed Item
• Unnamed Item