Verification using uninterpreted functions and finite instantiations

Formal Methods in Computer-Aided Design - Lecture Notes in Computer Science ◽

10.1007/bfb0031810 ◽

1996 ◽

pp. 218-232 ◽

Cited By ~ 19

Author(s):

Ramin Hojati ◽

Adrian Isles ◽

Desmond Kirkpatrick ◽

Robert K. Brayton

Download Full-text