loop invariants

D. Kondratyev I. Maryasov V. Nepomniaschy Verification of Definite Iteration over Arrays with a Loop Exit in C Programs // System Informatics. — . — # 10.  — P. 57-66
Subscribe to loop invariants