Efficient on-the-fly model checking for CTL

Proceedings - Symposium on Logic in Computer Science

Volumn , Issue , 1995, Pages 388-397

  Bhat, Girish ^a   Cleaveland, Rance ^a   Grumberg, Orna ^a  

^a NORTH CAROLINA STATE UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMPUTATIONAL COMPLEXITY; COMPUTATIONAL LINGUISTICS; ENCODING (SYMBOLS); FINITE AUTOMATA; MATHEMATICAL MODELS; SPECIFICATIONS; STATE SPACE METHODS; SYSTEMS ANALYSIS;

FINITE-STATE SYSTEM; MODEL CHECKING; ON-THE-FLY ALGORITHM; SEMANTICS; SYNTAX; TEMPORAL LOGIC; TIME COMPLEXITY; WORST-CASE COMPLEXITY;

FORMAL LOGIC;

EID: 0029202974     PISSN: 10436871     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (26)