Space-efficient bounded model checking

Proceedings -Design, Automation and Test in Europe, DATE '05

Volumn II, Issue , 2005, Pages 686-687

  Katz, Jacob ^a   Hanna, Ziyad ^a   Dershowitz, Nachum ^b  

^a INTEL CORPORATION   (Israel)

^b TEL AVIV UNIVERSITY   (Israel)

Author keywords

[No Author keywords available]

Indexed keywords

BOUNDED MODEL CHECKING; DECISION PROCEDURE; QBF SOLVERS; QUANTIFIED BOOLEAN FORMULAE (QBF);

BOOLEAN FUNCTIONS; DECISION THEORY; MATHEMATICAL MODELS; PROBLEM SOLVING;

ALGORITHMS;

EID: 33646935734     PISSN: 15301591     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/DATE.2005.276     Document Type: Conference Paper

References (0)