THE CORRECTNESS OF NON-DETERMINISTIC PROGRAMS,

Abstract : The paper formalizes properties of non-deterministic programs by means of the satisfiability and validity of formulas in first-order logic. The main purpose is to emphasize the wide variety of possible applications of the results. (Author)