Temporal-logic Sentence Examples

temporal-logic
  • Abstract We show how abstract requirements of garbage collection can be captured using temporal logic.

    0
    0
  • Then we present the temporal logic formalism that we use.

    0
    0
  • Thus temporal logic is higher level than Z for specifying concurrency.

    0
    0
    Advertisement