Efficient generation of counterexamples and witnesses in symbolic model checking

Proceedings - Design Automation Conference

Volumn , Issue , 1995, Pages 427-432

  Clarke, E M ^a   Grumberg, O ^a   McMillan, K L ^a   Zhao, X ^a  

^a CARNEGIE MELLON UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMPUTATIONAL COMPLEXITY; COMPUTATIONAL METHODS; CONSTRAINT THEORY; NETWORK PROTOCOLS; SEQUENTIAL CIRCUITS;

COMPUTATION TIME; COUNTEREXAMPLES; SEQUENTIAL CIRCUIT DESIGNS; STRONGLY CONNECTED COMPONENTS; SYMBOLIC MODEL CHECKING;

INTEGRATED CIRCUIT LAYOUT;

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

References (13)