Table 1.
CTL modalities
| modality | meaning |
|---|---|
| E | some path (i.e., there Exists a path) |
| A | All paths |
| X | neXt state (i.e., immediate future) |
| F | any state either in the present or in the Future |
| G | all states in the present and in the future (Global) |
Official websites use .gov
A
.gov website belongs to an official
government organization in the United States.
Secure .gov websites use HTTPS
A lock (
) or https:// means you've safely
connected to the .gov website. Share sensitive
information only on official, secure websites.