lineare temporale Logik
Sign in to savemodale Logik zur Modellprüfung
Wikidata facts
- Subclass of
- temporal logic
Show 2 more facts
- Commons category
- Linear temporal logic
- Stack Exchange tag
- cs.stackexchange.com/tags/linear-temporal-logic
Sources (3)
via Wikidata · CC0
Article · Deutsch
Lineare temporale Logik (LTL oder Linear temporal logic) ist eine formale modale temporale Logik, die zur Modellprüfung aufgestellt und benutzt wird. In LTL können Formeln über die Zukunft von Pfaden aufgestellt werden, beispielsweise dass eine Bedingung irgendwann wahr wird oder eine Bedingung wahr bleibt, bis eine andere Bedingung erfüllt wird.
Abstract from DBpedia / Wikipedia · CC BY-SA