Bounded model checking with QBF

Lecture Notes in Computer Science

Volumn 3569, Issue , 2005, Pages 408-414

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

^a TEL AVIV UNIVERSITY   (Israel)

^b INTEL CORPORATION   (Israel)

Author keywords

[No Author keywords available]

Indexed keywords

BENCHMARKING; MATHEMATICAL MODELS; PROBLEM SOLVING;

BOOLEAN FORMULAS; BOUNDED MODEL CHECKING (BMC); MEMORY EXPLOSION PROBLEM; QUANTIFIED BOOLEAN FORMULAS (QBF);

BOOLEAN ALGEBRA;

EID: 26444546377     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/11499107_32     Document Type: Conference Paper

References (0)