Lines Matching +full:non +full:- +full:temporal

1 Linear temporal logic
5 ------------
16 and error-prone.
18 Thus, RV monitors based on linear temporal logic (LTL) are introduced. This type
24   Christel Baier and Joost-Pieter Katoen: Principles of Model Checking, The MIT
28 -------
32 may not be well-versed in LTL.
38     true, false, user-defined names consisting of upper-case characters, digits,
57 Example linear temporal logic
58 -----------------------------
59 .. code-block::
65 .. code-block::
71 .. code-block::
89 -----------------
100 The LTL can be broken down using sub-expressions. The above is equivalent to:
102    .. code-block::
108 automaton - a non-deterministic state machine which checks the satisfiability of
113 ----------
115 One book covering model checking and linear temporal logic is::
117   Christel Baier and Joost-Pieter Katoen: Principles of Model Checking, The MIT
120 For an example of using linear temporal logic in software testing, see::
123   2022. Linear-time temporal logic guided greybox fuzzing. In Proceedings of the
130   Gerth, R., Peled, D., Vardi, M.Y., Wolper, P. (1996). Simple On-the-fly
131   Automatic Verification of Linear Temporal Logic. In: Dembiński, P., Średniawa,
134   https://doi.org/10.1007/978-0-387-34892-6_1