This article is cited in 1 paper

Verification of programs by the method of invariants

A. M. Mironov

Institute of Informatics Problems of the Russian Academy of Sciences

Abstract: We present a method of invariants for proving the correctness of computer programs. The basic concepts associated with this method are illustrated by examples of verification of sequential and parallel programs.

Keywords: program verification, Floyd's method, invariants.