Some Aspects of the Verification of Loop Computations
From MaRDI portal
Publication:4174210
DOI10.1109/TSE.1978.233871zbMath0392.68011MaRDI QIDQ4174210
Publication date: 1978
Published in: IEEE Transactions on Software Engineering (Search for Journal in Brave)
68Q60: Specification and verification (program logics, model checking, etc.)
Related Items
Mechanical inference of invariants for FOR-loops, Constraint preservation through loops, A method for computing the number of iterations in data dependent loops