19 search results - page 2 / 4 » charme 2005 |
CHARME
2005
Springer
13 years 10 months ago
2005
Springer
CHARME
2005
Springer
13 years 10 months ago
2005
Springer
The evolution of SAT technology over the last decade has motivated its application in model checking, initially through the utilization of SAT in bounded model checking (BMC) and, ...
CHARME
2005
Springer
13 years 10 months ago
2005
Springer
Partial order (PO) reduction methods are widely employed to combat state explosion during model-checking. In this paper, we develop a partial order reduction algorithm for rule-bas...
CHARME
2005
Springer
13 years 10 months ago
2005
Springer
Abstraction is the key for effectively dealing with the state explosion in model-checking. Unfortunately, finding abstractions which are small and yet enable us to get conclusive ...
CHARME
2005
Springer
13 years 10 months ago
2005
Springer
In this paper, we explore a parallelization of BMC based on state space partitioning. The parallelization is accomplished by executing multiple instances of BMC independently from ...