<abstract xml:lang="en" xmlns="http://www.w3.org/1999/xhtml"><p>This text includes definitions of the Kripke structure, CTL (Computation Tree Logic), and verification of the basic algorithm for Model Checking based on CTL in [10].</p></abstract>

This text includes definitions of the Kripke structure, CTL (Computation Tree Logic), and verification of the basic algorithm for Model Checking based on CTL in [10].

Model Checking. Part I

Formalized Mathematics

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

This text includes definitions of the Kripke structure, CTL (Computation Tree Logic), and verification of the basic algorithm for Model Checking based on CTL...

Model Checking. Part I

Published Online: Jun 13, 2008

Page range: 171 - 186

DOI: https://doi.org/10.2478/v10037-006-0021-0

This content is open access.