| /dports/lang/maude/maude-2.7.1/src/Main/ |
| H A D | model-checker.maude | 24 *** Maude LTL satisfiability solver and model checker.
28 fmod LTL is
32 *** primitive LTL operators
41 *** defined LTL operators
73 fmod LTL-SIMPLIFIER is
74 including LTL .
129 *** "Efficient Buchi Automata from LTL Formulae",
176 protecting LTL .
225 including LTL .
|
| /dports/finance/skrooge/skrooge-2.26.1/skgbankmodeler/currency/ |
| H A D | ltl.desktop | 2 CurrencyCodeIsoAlpha3=LTL
32 CurrencyUnitSymbols=Lt,LTL
|
| /dports/math/spot/spot-2.10.2/doc/org/ |
| H A D | hierarchy.org | 24 Forget about the LTL properties and about the red letters displayed in
61 the type of LTL formulas contained in each of these class. But note
63 just LTL-defined properties, and (2) the LTL expression displayed in
65 LTL-defined property belongs to the given class, then there exists an
66 equivalent LTL property under the stated form, were $p$, $q$, $p_i$
68 next operator ($\mathsf{X}$), and past-LTL operators (which are not
113 =ltlgrind=. So for instance if you want to classify the 55 LTL
156 not LTL formulas, and that are not obligations:
183 applied to fewer formulas. Testing whether a formula is an LTL
194 possible files. Here is a generation of 200 random LTL formulas
[all …]
|
| H A D | citing.org | 12 - *Spot 2.0 — a framework for LTL and ω-automata manipulation*,
27 - *Manipulating LTL formulas using Spot 1.0*, /Alexandre Duret-Lutz/.
33 - *LTL translation improvements in Spot 1.0*, /Alexandre Duret-Lutz/.
37 This describes the translation from LTL to TGBA used by the
70 - *Reactive Synthesis from LTL Specification with Spot*,
|
| H A D | randltl.org | 3 #+DESCRIPTION: Spot command-line tool for generating random LTL formulas.
9 random LTL formula using atomic propositions supplied on the
11 formulas instead, but let us first focus on LTL generation.
13 For instance to obtain fave random LTL formula over the propositions
183 Use --ltl-priorities to set the following LTL priorities:
261 keep in mind that since LTL formulas are PSL formulas, generating
262 random PSL formula may produce many LTL formulas that do not use any
285 Use --ltl-priorities to set the following LTL priorities:
340 # LocalWords: randltl num toc LTL PSL SRC Gb sed utf UTF lbt LBT's
|
| /dports/math/py-spot/spot-2.10.2/doc/org/ |
| H A D | hierarchy.org | 24 Forget about the LTL properties and about the red letters displayed in
61 the type of LTL formulas contained in each of these class. But note
63 just LTL-defined properties, and (2) the LTL expression displayed in
65 LTL-defined property belongs to the given class, then there exists an
66 equivalent LTL property under the stated form, were $p$, $q$, $p_i$
68 next operator ($\mathsf{X}$), and past-LTL operators (which are not
113 =ltlgrind=. So for instance if you want to classify the 55 LTL
156 not LTL formulas, and that are not obligations:
183 applied to fewer formulas. Testing whether a formula is an LTL
194 possible files. Here is a generation of 200 random LTL formulas
[all …]
|
| H A D | citing.org | 12 - *Spot 2.0 — a framework for LTL and ω-automata manipulation*,
27 - *Manipulating LTL formulas using Spot 1.0*, /Alexandre Duret-Lutz/.
33 - *LTL translation improvements in Spot 1.0*, /Alexandre Duret-Lutz/.
37 This describes the translation from LTL to TGBA used by the
70 - *Reactive Synthesis from LTL Specification with Spot*,
|
| H A D | randltl.org | 3 #+DESCRIPTION: Spot command-line tool for generating random LTL formulas.
9 random LTL formula using atomic propositions supplied on the
11 formulas instead, but let us first focus on LTL generation.
13 For instance to obtain fave random LTL formula over the propositions
183 Use --ltl-priorities to set the following LTL priorities:
261 keep in mind that since LTL formulas are PSL formulas, generating
262 random PSL formula may produce many LTL formulas that do not use any
285 Use --ltl-priorities to set the following LTL priorities:
340 # LocalWords: randltl num toc LTL PSL SRC Gb sed utf UTF lbt LBT's
|
| /dports/math/spot/spot-2.10.2/debian/ |
| H A D | control | 17 linear-time temporal logic (LTL & PSL).
27 linear-time temporal logic (LTL & PSL).
85 as linear-time temporal logic (LTL & PSL).
|
| /dports/math/py-spot/spot-2.10.2/debian/ |
| H A D | control | 17 linear-time temporal logic (LTL & PSL).
27 linear-time temporal logic (LTL & PSL).
85 as linear-time temporal logic (LTL & PSL).
|
| /dports/x11/kf5-kdelibs4support/kdelibs4support-5.89.0/src/l10n/lt/ |
| H A D | country.desktop | 74 CurrencyCodesInUse=LTL
75 CurrencyCode=LTL
|
| /dports/math/gap/gap-4.11.0/pkg/hap-1.25/lib/LieAlgebras/ |
| H A D | LieTensorSquare.gi | 11 q1, q2, tt1, tt2, ww, h, LTL, LVL, t, v7, I, II,
202 #LTL:=C/I;
204 LTL:=Image(g1);
257 I3:=VectorSpace(K,Basis(LTL));
287 bLTL:=Basis(LTL);
288 g:= AlgebraHomomorphismByImages( LTL, L, bLTL , bL );;
|
| H A D | LeibnizQuasiCover.gi | 12 q1, q2, tt1, tt2, ww, h, LTL, LVL, t, v7, I, II,
210 LTL:=C/I;
242 I3:=VectorSpace(K,Basis(LTL));
272 bLTL:=Basis(LTL);
274 g:= AlgebraHomomorphismByImages( LTL, L, bLTL , bL );;
279 f:= AlgebraHomomorphismByImages( LTL, LL, bLTL , bL );
300 sp:=LeftModuleHomomorphismByImages(LL,LTL,Basis(LL),pif);
376 m:=Dimension(LTL);
|
| /dports/x11/kf5-kdelibs4support/kdelibs4support-5.89.0/data/currency/ |
| H A D | ltl.desktop | 2 CurrencyCodeIsoAlpha3=LTL
56 CurrencyUnitSymbols=Lt,LTL
|
| /dports/devel/concurrencykit/ck-0.6.0/include/ |
| H A D | ck_cohort.h | 125 #define CK_COHORT_TRYLOCK_PROTOTYPE(N, GL, GU, GI, GTL, LL, LU, LI, LTL) \ argument
136 trylock_result = LTL(cohort->local_lock, local_context); \
|
| /dports/benchmarks/sysbench/sysbench-1.0.20/third_party/concurrency_kit/ck/include/ |
| H A D | ck_cohort.h | 125 #define CK_COHORT_TRYLOCK_PROTOTYPE(N, GL, GU, GI, GTL, LL, LU, LI, LTL) \ argument
136 trylock_result = LTL(cohort->local_lock, local_context); \
|
| /dports/math/spot/spot-2.10.2/ |
| H A D | spot.spec | 27 logic (LTL & PSL).
70 logic (LTL & PSL).
116 temporal logic (LTL & PSL).
|
| H A D | NEWS | 2110 LTL translators).
2280 - The LTL simplification routines learned that an LTL formula like
2798 LTL over finite words) model checking to LTL model checking. This
2906 * New LTL simplification rule:
3141 * New LTL and PSL simplification rules:
4204 (e.g., in LTL\X). With
5192 - Four new LTL simplifications rules:
5528 in an LTL formula.
5798 * Better LTL simplifications.
5858 in an LTL formula.
[all …]
|
| H A D | spot.spec.in | 27 logic (LTL & PSL).
70 logic (LTL & PSL).
116 temporal logic (LTL & PSL).
|
| /dports/math/py-spot/spot-2.10.2/ |
| H A D | spot.spec | 27 logic (LTL & PSL).
70 logic (LTL & PSL).
116 temporal logic (LTL & PSL).
|
| H A D | NEWS | 2110 LTL translators).
2280 - The LTL simplification routines learned that an LTL formula like
2798 LTL over finite words) model checking to LTL model checking. This
2906 * New LTL simplification rule:
3141 * New LTL and PSL simplification rules:
4204 (e.g., in LTL\X). With
5192 - Four new LTL simplifications rules:
5528 in an LTL formula.
5798 * Better LTL simplifications.
5858 in an LTL formula.
[all …]
|
| /dports/math/rumur/rumur-2021.09.29/doc/ |
| H A D | properties.rst | 228 Readers familiar with Linear Temporal Logic (LTL) might notice a similarity in
229 the properties supported by Rumur and the expressibility of LTL. Rumur's
230 available properties are more constrained than LTL. To be pragmatic, they are
234 Invariants roughly correspond to LTL's "always" operator, ``G`` or ``□``.
236 The other types of properties do not have direct LTL equivalents.
|
| /dports/devel/tex-synctex/texlive-20150521-source/texk/web2c/luatexdir/tex/ |
| H A D | directions.w | 41 } else if (scan_keyword("LTL")) {
105 "???", "-LTL","???", "???", "???", "???", "???", "???",
113 "???", "+LTL","???", "???", "???", "???", "???", "???",
|
| /dports/devel/tex-web2c/texlive-20150521-source/texk/web2c/luatexdir/tex/ |
| H A D | directions.w | 41 } else if (scan_keyword("LTL")) {
105 "???", "-LTL","???", "???", "???", "???", "???", "???",
113 "???", "+LTL","???", "???", "???", "???", "???", "???",
|
| /dports/japanese/tex-ptex/texlive-20150521-source/texk/web2c/luatexdir/tex/ |
| H A D | directions.w | 41 } else if (scan_keyword("LTL")) {
105 "???", "-LTL","???", "???", "???", "???", "???", "???",
113 "???", "+LTL","???", "???", "???", "???", "???", "???",
|