The equivalence problem and correctness formulas for a simple class of programs

DOI10.1016/S0019-9958(85)80018-8zbMath0575.68012MaRDI QIDQ3694664

Louis E. Rosier, Oscar H. Ibarra

Publication date: 1985

Published in: Information and Control (Search for Journal in Brave)

zbMATH Keywords

correctnesssemanticsPresburger arithmeticloop programsdecidable validity problemHoare axiomatics

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) General topics in the theory of software (68N01)

This page was built for publication: The equivalence problem and correctness formulas for a simple class of programs