What's the definition of ACTL?
-
03-11-2019 - |
Frage
I have been looking for the definition of ACTL, but Google has given me very little to go with.
So far, I know ACTL is another form of CTL model checking, and CTL includes the following operators:
- Always
- Exist
- Global
- Finally
- Next
- AND / OR
- NOT
So what does ACTL include and how is it different from CTL?
Many thanks
Keine korrekte Lösung
Lizenziert unter: CC-BY-SA mit Zuschreibung
Nicht verbunden mit cs.stackexchange