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)

Document Details

Document Type
Technical Report
Publication Date
Aug 01, 1969
Accession Number
AD0694971

Entities

People

  • Zohar Manna

Organizations

  • Stanford University

Tags

DTIC Thesaurus Topics

  • Artificial Intelligence

Readers

  • Mathematical Modeling and Probability Theory.
  • Systems Analysis and Design