English Model checking Cited by user Jochen Burghardt on 13 Dec 2020 In computer science, model checking or property checking is a method for checking whether a finite-state model of a system meets a given specification (also known as…
Spanish Lógica temporal lineal Cited by user Dipiert on 05 Aug 2020 En lógica, la lógica temporal lineal o la lógica temporal de tiempo lineal (LTL) es una lógica temporal modal con modalidades que se refieren al tiempo.
Portuguese Lógica temporal linear Cited by user Willams Clemente on 04 Dec 2016 Na lógica, lógica temporal linear ou linear-tempo lógico temporal (LTL) é um modal da lógica temporal com modalidades referindo-se ao tempo.