English translation for "ltl"

ltl

Example Sentences:

	1.	Let φ, ψ, and ρ be LTL formulas. Soit Φ, ψ, et ρ des formules de LTL.
	2.	CTL and LTL were developed independently before CTL*. Il est intéressant de noter que CTL et LTL ont été développées indépendamment, avant CTL*.
	3.	LTL was first proposed for the formal verification of computer programs by Amir Pnueli in 1977. LTL a d'abord été proposé pour la vérification formelle des programmes informatiques par Amir Pnueli en 1977.
	4.	This is surprising because the computational complexity of model checking in CTL* is not worse than that of LTL: they both lie in PSPACE. Ceci est surprenant, car la complexité algorithmique du model checking CTL* n'est pas pire que celle du model checking LTL : ces deux problèmes sont dans PSPACE.
	5.	The Lithuanian litas participated in ERM II since 28 June 2004, and was pegged to the euro at a rate of 3.45280 litai = €1. Le litas lituanien fait partie du MCE II depuis le 1er juillet 2004 et est lié à l'euro à un taux de change de 3,45280 LTL = 1 EUR.
	6.	VEKS 2009 cultural events cost nearly 300 million LTL, way more than what was spent by Riga, Latvia with 24 million EUR and more than any other city. Les manifestations culturelles organisées dans le cadre de la capitale européenne de la culture 2009 coûtent près de 300 000 000 LTL, bien plus que les dépenses de Riga, en Lettonie, avec 24 000 000 €, et plus que toute autre ville.
	7.	All the formulas of LTL can be transformed into negation normal form, where all negations appear only in front of the atomic propositions, only other logical operators true, false, ∧, and ∨ can appear, and only the temporal operators X, U, and R can appear. Toutes les formules de LTL peuvent être transformées en forme normale négative, où toutes les négations apparaissent seulement en face des propositions atomiques, seuls les opérateurs logiques vrai, faux, ∧ et ∨ peuvent apparaître, et seuls les opérateurs logiques X, U, et R peuvent apparaître.
	8.	G for always (globally) F for eventually (in the future) R for release W for weak until M for strong release An LTL formula can be satisfied by an infinite sequence of truth evaluations of variables in AP. Les opérateurs temporels ci-dessous le sont également : G pour toujours (globalement (globally en anglais)) F pour éventuellement (dans le futur (in the future en anglais)) R pour la réalisation (release en anglais) W pour faible jusqu'à (weakly until en anglais) Une formule de LTL peut être satisfaite par une suite infinie d'évaluations de vérité des variables dans AP.
	9.	In LTL, one can encode formulae about the future of paths, e.g., a condition will eventually be true, a condition will be true until another fact becomes true, etc. It is a fragment of the more complex CTL*, which additionally allows branching time and quantifiers. En LTL, on peut coder des formules sur l'avenir d'un chemin infini dans un système de transitions, par exemple une condition finira par être vraie, une condition sera vraie jusqu'à ce qu'une autre devienne vraie, etc. Cette logique est plus faible que la logique CTL*, qui permet d'exprimer des conditions sur des ramifications de chemins et pas seulement sur un seul chemin.
	10.	LTL is built up from a finite set of propositional variables AP, the logical operators ¬ and ∨, and the temporal modal operators X (some literature uses O or N) and U. Formally, the set of LTL formulas over AP is inductively defined as follows: if p ∈ AP then p is an LTL formula; if ψ and φ are LTL formulas then ¬ψ, φ ∨ ψ, X ψ, and φ U ψ are LTL formulas. La LTL est construite à partir d'un ensemble fini de variables propositionnelles AP, opérateurs logiques ¬ et ∨, et des opérateurs temporels modaux X (certaines notations utilisent O ou N) et U. Formellement, l'ensemble des formules de LTL sur AP est inductivement défini comme suit : si p ∈ AP alors p une formule de LTL ; si ψ et φ sont des formules de LTL alors ¬ψ, φ ∨ ψ, X ψ, et φ U ψ sont des formules de LTL.

Similar Words：

"lte advanced" English translation, "lte international airways" English translation, "ltf" English translation, "lti" English translation, "ltj bukem" English translation, "ltr" English translation, "ltsen" English translation, "ltt" English translation, "ltt 1445" English translation