„Im Bereich der Modellprüfung werden spezielle ''Temporallogiken'' eingesetzt, um die zu verifizierenden Eigenschaften zu spezifizieren.“<ref>{{Literatur |Titel=Software-Qualität |Autor=Dirk W. Hoffmann |Auflage=2. |Verlag=Springer Vieweg |Ort=Berlin/Heidelberg |Jahr=2013 |ISBN=978-3-642-35699-5 |Seiten=352 |Online=zitiert nach {{GBS|XZEuBAAAQBAJ|PA352|Hervorhebung=Temporallogiken}} |Zugriff=2014-11-27}}</ref>
logischer [[Formalismus]], der eine [[zeitlich]]e [[Dimension]] miteinbezieht