25 search results - page 2 / 5 » cav 2003 |
CAV
2003
Springer
13 years 10 months ago
2003
Springer
CAV
2003
Springer
13 years 10 months ago
2003
Springer
CAV
2003
Springer
13 years 8 months ago
2003
Springer
redicate Abstraction Efficient: How to eliminate redundant predicates Edmund Clarke
CAV
2003
Springer
13 years 10 months ago
2003
Springer
Abstract. We consider a fully SAT-based method of unbounded symbolic model checking based on computing Craig interpolants. In benchmark studies using a set of large industrial circ...
CAV
2003
Springer
13 years 8 months ago
2003
Springer
We generalize the traditional definition of a multicounter machine (where the counters, which can only assume nonnegative integer values, can be incremented/decremented by 1 and te...