INFORMAZIONI SU QUESTO ARTICOLO
Pubblicato online: 20 mar 2009
Pagine: 231 - 245
DOI: https://doi.org/10.2478/v10037-008-0028-9
Parole chiave
This content is open access.
This article provides the definition of linear temporal logic (LTL) and its properties relevant to model checking based on [9]. Mizar formalization of LTL language and satisfiability is based on [2, 3].