Symbolic Guided Search for CTL model checking

Proceedings - Design Automation Conference

Volumn , Issue , 2000, Pages 29-34

  Bloem, Roderick ^a   Ravi, Kavita ^a   Somenzi, Fabio ^a  

^a UNIVERSITY OF COLORADO   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; BINARY CODES; COMPUTATION THEORY; COMPUTATIONAL COMPLEXITY; COMPUTER DEBUGGING; DATA STRUCTURES; STATE SPACE METHODS;

MODEL CHECKING; NESTED FIXEDPOINTS; STATE EXPLOSION PROBLEM; SYMBOLIC GUIDED SEARCH;

DECISION THEORY;

EID: 0033681619     PISSN: 0738100X     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/337292.337306     Document Type: Conference Paper

References (30)