Overview and application of model reduction techniques in formal verification

IEEE International Performance, Computing & Communications Conference, Proceedings

Volumn , Issue , 1998, Pages 165-171

  Baumgartner, Jason ^a   Heyman, Tamir ^a  

^a IBM   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL LOGIC; MATHEMATICAL MODELS; STATE SPACE METHODS;

MODEL CHECKING; SEQUENTIAL LOGIC;

DIGITAL COMMUNICATION SYSTEMS;

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

References (10)