### Table 4: Temporal Logic

1999

"... In PAGE 7: ... Therefore, when formally specifying behavioral constraints, the property speci er is guided by a tool that allows him to assemble the di erent events and to temporally relate the events to each other. For the establishment of a temporal relationship between the events, we advocate the use of Linear-time Temporal Logic (LTL) (see Table4 ). By using LTL for the speci- cation of behavior, we can bene t from the well-known solutions for constructing test oracles.... ..."

Cited by 8

### Table 1: Linear Temporal Logic Operators

"... In PAGE 1: ... If more than one proposition is true, they are written between parentheses. Table1 lists the usual LTL operators with example and counter example traces. Table 1: Linear Temporal Logic Operators ... ..."

### Table 1. Horn temporal linear logic

1999

Cited by 6

### Table 1. Horn temporal linear logic

1999

Cited by 6

### Table 1. Horn temporal linear logic

1999

Cited by 6

### Table 1 Intuitionistic temporal linear logic

2000

Cited by 4

### Table 1 Intuitionistic temporal linear logic

2000

Cited by 4

### Table 1 Intuitionistic temporal linear logic

2000