ltl meaning in English
ltl
Examples
- Let φ, ψ, and ρ be LTL formulas.
Soit Φ, ψ, et ρ des formules de LTL. - 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*. - 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. - 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. - 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.