Program correctness: on inductive assertion methods

DOI10.1109/TSE.1980.230787zbMath0436.68011OpenAlexW1969326337MaRDI QIDQ3877022

James C. King

Publication date: 1980

Published in: IEEE Transactions on Software Engineering (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1109/tse.1980.230787

zbMATH Keywords

predicate transformersprogram correctnessprogram proofssubgoal inductionassertion methods

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (1)

Equivalence checking of Petri net models of programs using static and dynamic cut-points

This page was built for publication: Program correctness: on inductive assertion methods