<abstract xml:lang="en" xmlns="http://www.w3.org/1999/xhtml"><p>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].</p></abstract>

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].

Model Checking. Part II

Formalized Mathematics

{"article-title":"Model Checking. Part II"}

This article provides the definition of linear temporal logic (LTL) and its properties relevant to model checking based on [9]. Mizar formalization of LTL...

Model Checking. Part II

Online veröffentlicht: 20. März 2009

Seitenbereich: 231 - 245

DOI: https://doi.org/10.2478/v10037-008-0028-9

This content is open access.