Work

Model Checking. Part I

Year: 2006

Type: article

Abstract: This text includes de nitions of the Kripke structure, CTL (Computation Tree Logic), and veri cation of the basic algorithm for Model Checking based on CTL in [10].

Source: Formalized Mathematics

DOI: 10.2478/v10037-006-0021-0

Author: Kazuhisa Ishida

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: diamond

OpenAlex ID: W2161132209

FWCI:

Cites: 43

Cited by: 1

Related to: 10