SAT-based UMC | Sciweavers

warning: Creating default object from empty value in /var/www/modules/taxonomy/taxonomy.module on line 1416.

ICCD
2005
IEEE

114views Hardware» more ICCD 2005»

State Set Management for SAT-based Unbounded Model Checking

13 years 2 months ago

In recent years, Boolean Satisﬁability (SAT) has been shown to hold potential for Unbounded Model Checking (UMC). The success of SAT-based UMC largely relies on (i) the SAT solv...

Kameshwar Chandrasekar, Michael S. Hsiao

claim paper

Read More »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers