On the Relation of Programs and Computations to Models of Temporal Logic

@inproceedings{Wolper1987OnTR,
  title={On the Relation of Programs and Computations to Models of Temporal Logic},
  author={Pierre Wolper},
  booktitle={Temporal Logic in Specification},
  year={1987}
}
In recent years there has been a proliferation of program verification methods that use temporal logic. These methods differ by the version of temporal logic they are based upon and by the way they use this logic. In this paper we attempt to give a simple, unified and coherent view of the field. For this, we first characterize the models and model… CONTINUE READING