TEMPORAL MODEL CHECKING UNDER GENERALIZED FAIRNESS CONSTRAINTS.

Proceedings of the Hawaii International Conference on System Science

Volumn , Issue , 1985, Pages 277-288

  Emerson, E Allen ^a   Lei, Chin Laung ^a  

^a UNIVERSITY OF TEXAS AT AUSTIN   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER METATHEORY;

FAIR COMPUTATION TREE LOGIC; FINITE STATE CONCURRENT SYSTEMS; GENERALIZED FAIRNESS CONSTRAINTS; GLOBAL STATE GRAPHS; MODEL CHECKING ALGORITHMS; TEMPORAL MODEL CHECKING;

COMPUTER PROGRAMMING;

EID: 0021822614     PISSN: 00731129     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (24)