Year: 2008
Type: article
Abstract: Model Checking. Part IIThis 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].
Source: Formalized Mathematics
Author: Kazuhisa Ishida
Institution: Shinshu University
Language: English
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Open Access status: diamond
OpenAlex ID: W4243829566