Partial-order methods for model checking: From linear time to branching time

Proceedings - Symposium on Logic in Computer Science

Volumn , Issue , 1996, Pages 294-303

  Bernard, Willems ^a   Pierre, Wolper ^a  

^a UNIVERSITY OF LIÈGE   (Belgium)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SIMULATION; FINITE AUTOMATA; FORMAL LOGIC; STATE SPACE METHODS;

BRANCHING TIME MODEL CHECKING; LINEAR TIME MODEL CHECKING; PARTIAL ORDER METHODS;

COMPUTATION THEORY;

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

References (29)