11 search results - page 3 / 3 » cav 1999 |
CAV
1999
Springer
13 years 9 months ago
1999
Springer
Abstract. In using the logic of equality with unininterpreted functions to verify hardware systems, specific characteristics of the formula describing the correctness condition ca...