Lines Matching +full:implementation +full:- +full:defined

5 ------------
16 and error-prone.
24   Christel Baier and Joost-Pieter Katoen: Principles of Model Checking, The MIT
28 -------
30 Unlike some existing syntax, kernel's implementation of LTL is more verbose.
32 may not be well-versed in LTL.
38     true, false, user-defined names consisting of upper-case characters, digits,
54 This grammar is ambiguous: operator precedence is not defined. Parentheses must
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::
107 From this specification, `rvgen` generates the C implementation of a Buchi
108 automaton - a non-deterministic state machine which checks the satisfiability of
113 ----------
117   Christel Baier and Joost-Pieter Katoen: Principles of Model Checking, The MIT
123   2022. Linear-time temporal logic guided greybox fuzzing. In Proceedings of the
128 The kernel's LTL monitor implementation is based on::
130   Gerth, R., Peled, D., Vardi, M.Y., Wolper, P. (1996). Simple On-the-fly
134   https://doi.org/10.1007/978-0-387-34892-6_1