128
Voted
MEMOCODE
2006
IEEE
15 years 9 months ago
2006
IEEE
We present an efficient symbolic search algorithm for software model checking. The algorithm combines multiple symbolic representations to efficiently represent the transition r...